ask others

Larry Diehl

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/pacmpl/DiehlFS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pacmpl/DiehlFS18
Larry Diehl, Denis Firsov, Aaron Stump:
Generic zero-cost reuse for dependent types. PACMPL 2(ICFP): 104:1-104:30 (2018)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-00787
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-00787
Larry Diehl, Aaron Stump:
Zero-Cost Coercions for Program and Proof Reuse. CoRR abs/1802.00787 (2018)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1803-08150
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08150
Larry Diehl, Denis Firsov, Aaron Stump:
Generic Zero-Cost Reuse for Dependent Types. CoRR abs/1803.08150 (2018)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1811-11961
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1811-11961
Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump:
Course-of-Value Induction in Cedille. CoRR abs/1811.11961 (2018)
2016
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfp/DiehlS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/DiehlS16
Larry Diehl, Tim Sheard:
Generic lookup and update for infinitary inductive-recursive types. TyDe@ICFP 2016: 1-12
2014
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfp/DiehlS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/DiehlS14
Larry Diehl, Tim Sheard:
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP 2014: 3-14
2013
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfp/DiehlS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/DiehlS13
Larry Diehl, Tim Sheard:
Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP 2013: 49-60

Coauthor Index

see FAQ

maintained by

, founded at