Andrew Marmaduke
Mathematical Sciences, University of Iowa, Iowa City, IA 52241
Mailing Address: 14 MacLean Hall
Office: Seamans Center for the Engineering Arts and Sciences, #1422
About
I'm a Computer Science PhD student working in the Computational Logic Center.
My advisor is Dr. Aaron Stump.
I work with Aaron and others on Cedille.
I am interested in programming language theory, logic, and the formalization of mathematics.
My current research revolves around how Cedille's unique feature set (dependent intersections, equality of well-scoped untyped terms, and erased function spaces) can be used to capture and construct many of the ideas in other languages (such as large eliminations, induction-induction, induction-recursion, etc).
Google Scholar,
DBLP,
CV
Teaching
Algorithms
Conference and Symposium Proceedings
- Best Student Paper Award. Impredicative Encodings of Inductive-Inductive Data in Cedille. Andrew Marmaduke, Larry Diehl, Aaron Stump. Trends in Functional Programming (TFP 2023) doi
- Simulating Large Eliminations in Cedille. Christa Jenkins, Andrew Marmaduke, Aaron Stump. 27th International Conference on Types for Proofs and Programs (TYPES 2021) doi
- Zero-Cost Constructor Subtyping. Andrew Marmaduke, Christa Jenkins, Aaron Stump. Implementation and Application of Functional Languages (IFL 2020) doi
- Quotients by Idempotent Functions in Cedille. Andrew Marmaduke, Christa Jenkins, Aaron Stump. Trends in Functional Programming (TFP 2019) doi
Talks
- Carving out a proof theory from Cedille's Core. Midwest Programming Language Summit (MWPLS) 2023 pdf
Unpublished Works
- A Simple Coarse-Grained Model of a Carbon Nanotube Forest Interacting with a Rigid Substrate. Andrew Marmaduke. Master Thesis. The University of Akron (2015)
Tools
- olette. An optimal lambda evaluation toy for graphically exploring reductions one at a time without an oracle to decide matching of fans. Implemented with the help of Macy Schmidt.