Constructing Polymorphic Programs with Quotient Types.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride

Browse the full MPC paper archive.