QuB: A Resource Aware Functional Programming Language. - Apoorv Ingle (CoRR, 2019)

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

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

Understanding Haskell-style Overloading via Open Data and Open Functions. - Andrew Marmaduke; Apoorv Ingle; J. Garrett Morris (CoRR, 2025)