Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics (0)

by M Abott, T Altenkirch, N Ghani