Larry Diehl

According to our database, Larry Diehl authored at least 9 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Impredicative Encodings of Inductive-Inductive Data in Cedille.

Andrew Marmaduke, Larry Diehl, Aaron Stump

Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023

2020

Efficient lambda encodings for Mendler-style coinductive types in Cedille.

Christopher Jenkins, Aaron Stump, Larry Diehl

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

2018

Generic zero-cost reuse for dependent types.

Larry Diehl, Denis Firsov, Aaron Stump

Proc. ACM Program. Lang., 2018

Course-of-Value Induction in Cedille.

Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump

CoRR, 2018

Zero-Cost Coercions for Program and Proof Reuse.

Larry Diehl, Aaron Stump

CoRR, 2018

2016

Generic lookup and update for infinitary inductive-recursive types.

Larry Diehl, Tim Sheard

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2014

Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL.

Larry Diehl, Tim Sheard

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

2013

Leveling up dependent types: generic programming over a predicative hierarchy of universes.

Larry Diehl, Tim Sheard

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

2011

Verified Stack-Based Genetic Programming via Dependent Types.

Larry Diehl

Proceedings of AAIP 2011, 2011