Larry Diehl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2013–2016
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFP | Generic lookup and update for infinitary inductive-recursive types. | Larry Diehl, Tim Sheard |
| 2014 | ICFP | Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. | Larry Diehl, Tim Sheard |
| 2013 | ICFP | Leveling up dependent types: generic programming over a predicative hierarchy of universes. | Larry Diehl, Tim Sheard |