Andrew Marmaduke

According to our database, Andrew Marmaduke authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Impredicative Encodings of Inductive-Inductive Data in Cedille.

Andrew Marmaduke, Larry Diehl, Aaron Stump

Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023

2021

Simulating Large Eliminations in Cedille.

Christopher Jenkins, Andrew Marmaduke, Aaron Stump

CoRR, 2021

Simulating Large Eliminations in Cedille.

Christa Jenkins, Andrew Marmaduke, Aaron Stump

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2020

Zero-Cost Constructor Subtyping.

Andrew Marmaduke, Christopher Jenkins, Aaron Stump

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

Quotients by Idempotent Functions in Cedille.

Andrew Marmaduke, Christopher Jenkins, Aaron Stump

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019