Quotients by Idempotent Functions in Cedille

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_1 ◽

2020 ◽

pp. 1-20

Author(s):

Andrew Marmaduke ◽

Christopher Jenkins ◽

Aaron Stump

Download Full-text