Partial type constructors in practice. - Apoorv Ingle; Alex Hubers; J. Garrett Morris (Haskell, 2022)

A Type-Based Approach to Divide-and-Conquer Recursion in Coq. - Pedro Abreu; Benjamin Delaware; Alex Hubers; Christa Jenkins; J. Garrett Morris; Aaron Stump (Proc. ACM Program. Lang., 2023)

Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. - Alex Hubers; J. Garrett Morris (Proc. ACM Program. Lang., 2023)

Extensible Recursive Functions, Algebraically. - Alex Hubers; Apoorv Ingle; Andrew Marmaduke; J. Garrett Morris (CoRR, 2024)