Andrew Marmaduke, Christopher Jenkins, Aaron Stump. Quotients by Idempotent Functions in Cedille. In William J. Bowman, Ronald Garcia, editors, Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers. Volume 12053 of Lecture Notes in Computer Science, pages 1-20, Springer, 2019. [doi]
Abstract is missing.