Homotopical patch theory. - Carlo Angiuli; Edward Morehouse; Daniel R. Licata; Robert Harper 001 (J. Funct. Program., 2016)

Varieties of Cubical Sets. - Ulrik Buchholtz; Edward Morehouse (RAMiCS, 2017)

Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version). - G. A. Kavvos; Edward Morehouse; Daniel R. Licata; Norman Danner (CoRR, 2019)

Recurrence extraction for functional programs through call-by-push-value. - G. A. Kavvos; Edward Morehouse; Daniel R. Licata; Norman Danner (Proc. ACM Program. Lang., 2020)

Deep Induction for Inductive Families. - Patricia Johann; Edward Morehouse (WoLLIC, 2025)