Adam Gundry
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2010–2015
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | HASKELL | A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. | Adam Gundry |
| 2010 | ICFP | Type Inference in Context. | Adam Gundry, Conor McBride, James McKinna |