Container types categorically
From MaRDI portal
Publication:4500365
DOI10.1017/S0956796899003640zbMath0959.68023MaRDI QIDQ4500365
Oege de Moor, Paul F. Hoogendijk
Publication date: 26 April 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (6)
Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Towards patterns for heaps and imperative lambdas ⋮ Transport of finiteness structures and applications ⋮ Formal polytypic programs and proofs ⋮ Datatype-generic termination proofs ⋮ Containers: Constructing strictly positive types
This page was built for publication: Container types categorically
