Larry Diehl
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j1]Larry Diehl, Denis Firsov, Aaron Stump:
Generic zero-cost reuse for dependent types. PACMPL 2(ICFP): 104:1-104:30 (2018) - [i3]Larry Diehl, Aaron Stump:
Zero-Cost Coercions for Program and Proof Reuse. CoRR abs/1802.00787 (2018) - [i2]Larry Diehl, Denis Firsov, Aaron Stump:
Generic Zero-Cost Reuse for Dependent Types. CoRR abs/1803.08150 (2018) - [i1]Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump:
Course-of-Value Induction in Cedille. CoRR abs/1811.11961 (2018) - 2016
- [c3]Larry Diehl, Tim Sheard:
Generic lookup and update for infinitary inductive-recursive types. TyDe@ICFP 2016: 1-12 - 2014
- [c2]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]Larry Diehl, Tim Sheard:
Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP 2013: 49-60
last updated on 2018-12-01 22:34 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint