Adam Gundry
Haskell Consultant
Well-Typed LLP
Contact
Email
adam (at) well (dash) typed (dot) com
Github
adamgundry
Projects
uom-plugin
, units of measure as a GHC
typechecker plugin
Overloaded record fields for GHC
, once a Google Summer of Code project
Inch
, a typechecker for Haskell with integer constraints
Publications
A Typechecker Plugin for Units of Measure
by Adam Gundry (2015)
Type Inference, Haskell and Dependent Types
PhD. thesis by Adam Gundry (2013)
A tutorial implementation of dynamic pattern unification
by Adam Gundry and Conor McBride (2012)
Type Inference for Units of Measure
by Adam Gundry (2011)
Type Inference in Context
by Adam Gundry, Conor McBride and James McKinna (2010)