Skip to main content

Type−indexed data types

Ralf Hinze‚ Johan Jeuring and Andres Löh

Institution
Universiteit Utrecht
Number
UU−CS−2002−11
Year
2002