Adam Gundry

Haskell Consultant
Well-Typed LLP

Contact

Email

adam (at) well (dash) typed (dot) com

Github

adamgundry

Projects

• optics, a Haskell library providing an abstract interface for lenses et al.
• 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

• Explicit Level Imports by Matthew Pickering, Rodrigo Mesquita and Adam Gundry (2025)
• 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)