Constructing polymorphic programs with quotient types (2004)

Cached

Download Links

by Michael Abbott , Thorsten Altenkirch , Neil Ghani , Conor Mcbride
Venue:In 7th International Conference on Mathematics of Program Construction (MPC
Citations:12 - 3 self