Login / Signup
Adam Gundry
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 1
Top Topics
Constraint Solvers
Constraint Satisfaction Problems
Constraint Logic Programming
Distance Measure
Top Venues
Haskell
</>
Publications
</>
Adam Gundry
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell.
Haskell
(2015)
Adam Gundry
,
Conor McBride
,
James McKinna
Type Inference in Context.
MSFP@ICFP
(2010)