Andrew Marmaduke

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Arc Consistency

Top Venues

Publications

Andrew Marmaduke, Larry Diehl, Aaron Stump
Impredicative Encodings of Inductive-Inductive Data in Cedille. TFP (2023)
Christa Jenkins, Andrew Marmaduke, Aaron Stump
Simulating Large Eliminations in Cedille. TYPES (2021)
Christopher Jenkins, Andrew Marmaduke, Aaron Stump
Simulating Large Eliminations in Cedille. CoRR (2021)
Andrew Marmaduke, Christopher Jenkins, Aaron Stump
Zero-Cost Constructor Subtyping. IFL (2020)
Andrew Marmaduke, Christopher Jenkins, Aaron Stump
Quotients by Idempotent Functions in Cedille. TFP (2019)