Zero-cost constructor subtyping A Marmaduke, C Jenkins, A Stump Proceedings of the 32nd Symposium on Implementation and Application of …, 2020 | 3 | 2020 |
Simulating large eliminations in cedille C Jenkins, A Marmaduke, A Stump arXiv preprint arXiv:2112.07817, 2021 | 2 | 2021 |
Quotients by Idempotent Functions in Cedille A Marmaduke, C Jenkins, A Stump TFP, 1-20, 2019 | 2 | 2019 |
A Simple Coarse-Grained Model of a Carbon Nanotube Forest Interacting with a Rigid Substrate AR Marmaduke University of Akron, 2015 | 1 | 2015 |
Impredicative Encodings of Inductive-Inductive Data in Cedille A Marmaduke, L Diehl, A Stump International Symposium on Trends in Functional Programming, 1-15, 2023 | | 2023 |