According to our database1, Larry Diehl authored at least 7 papers between 2013 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020
Proceedings of the 1st International Workshop on Type-Driven Development, 2016
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL.
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014
Leveling up dependent types: generic programming over a predicative hierarchy of universes.
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013