Quotients by Idempotent Functions in Cedille. - Andrew Marmaduke; Christopher Jenkins; Aaron Stump (TFP, 2019)

Zero-Cost Constructor Subtyping. - Andrew Marmaduke; Christopher Jenkins; Aaron Stump (IFL, 2020)

Simulating Large Eliminations in Cedille. - Christa Jenkins; Andrew Marmaduke; Aaron Stump (TYPES, 2021)

Simulating Large Eliminations in Cedille. - Christopher Jenkins; Andrew Marmaduke; Aaron Stump (CoRR, 2021)

Impredicative Encodings of Inductive-Inductive Data in Cedille. - Andrew Marmaduke; Larry Diehl; Aaron Stump (TFP, 2023)

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)