Hi, I'm Larry Diehl!

I'm a part of the Computational Logic Center at the University of Iowa, as a postdoctoral researcher working with Aaron Stump. I completed my PhD of Computer Science at Portland State University, advised by Tim Sheard.

My research involves generic programming, dependently typed programming languages, and datatype encodings (e.g. various flavors of type indexing and induction-recursion).


Check out Ditto, a dependently typed programming language that I work on with Francisco Ferreira!