Registered user since Mon 29 Dec 2014

Name: J. Garrett Morris

Country: United States

Affiliation: University of Kansas, USA

Personal website: http://jgbm.github.io

ICFP 2017 Activities

• Author of On Unsatisfiability within the HIW 2017-track in HIW 2017
• Author of Constrained Type Families within the Research Papers-track in ICFP 2017
• Committee Member in Program Committee for Haskell 2017
• Show activities from other conferences