Generic zero-cost reuse for dependent types L Diehl, D Firsov, A Stump Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 16 | 2018 |
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL L Diehl, T Sheard Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 3-14, 2014 | 4 | 2014 |
Fully Generic Programming over Closed Universes of Inductive-Recursive Types L Diehl Portland State University, 2017 | 3 | 2017 |
Generic lookup and update for infinitary inductive-recursive types L Diehl, T Sheard Proceedings of the 1st International Workshop on Type-Driven Development, 1-12, 2016 | 3 | 2016 |
Leveling up dependent types: generic programming over a predicative hierarchy of universes L Diehl, T Sheard Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-typed …, 2013 | 3 | 2013 |
Course-of-Value Induction in Cedille D Firsov, L Diehl, C Jenkins, A Stump arXiv preprint arXiv:1811.11961, 2018 | 2 | 2018 |
Elaborating course-of-values induction in Cedille C Jenkins, D Firsov, L Diehl, C McDonald, A Stump | 1 | 2020 |
Efficient lambda encodings for Mendler-style coinductive types in Cedille C Jenkins, A Stump, L Diehl arXiv preprint arXiv:2005.00199, 2020 | 1 | 2020 |
Impredicative Encodings of Inductive-Inductive Data in Cedille A Marmaduke, L Diehl, A Stump International Symposium on Trends in Functional Programming, 1-15, 2023 | | 2023 |
Zero-Cost Coercions for Program and Proof Reuse L Diehl, A Stump arXiv preprint arXiv:1802.00787, 2018 | | 2018 |
Verified Stack-Based Genetic Programming via Dependent Types. L Diehl AAIP, 17-32, 2011 | | 2011 |
Elaborating course-of-values induction in Cedille L Diehl, C McDonald, A Stump | | |
Hereditary Substitution by Canonical Evaluation (SbE) L Diehl, T Sheard | | |