Larry Diehl

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Topics

Recursive Programs

Inductive Learning

Completely Independent

Top Venues

Proc. ACM Program. Lang.

Publications

Andrew Marmaduke, Larry Diehl, Aaron Stump
Impredicative Encodings of Inductive-Inductive Data in Cedille. TFP (2023)
Christopher Jenkins, Aaron Stump, Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in Cedille. MSFP@ETAPS (2020)
Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump
Course-of-Value Induction in Cedille. CoRR (2018)
Larry Diehl, Denis Firsov, Aaron Stump
Generic Zero-Cost Reuse for Dependent Types. CoRR (2018)
Larry Diehl, Denis Firsov, Aaron Stump
Generic zero-cost reuse for dependent types. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Larry Diehl, Aaron Stump
Zero-Cost Coercions for Program and Proof Reuse. CoRR (2018)
Larry Diehl, Tim Sheard
Generic lookup and update for infinitary inductive-recursive types. TyDe@ICFP (2016)
Larry Diehl, Tim Sheard
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP (2014)
Larry Diehl, Tim Sheard
Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP (2013)
Larry Diehl
Verified Stack-Based Genetic Programming via Dependent Types. AAIP (2011)