Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride. Constructing Polymorphic Programs with Quotient Types. In Dexter Kozen, Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Volume 3125 of Lecture Notes in Computer Science, pages 2-15, Springer, 2004. [doi]
Abstract is missing.