Containers: constructing strictly positive types (2005)

by Michael Abbott, Thorsten Altenkirch, Neil Ghani
Venue:Theor. Comput. Sci