Type-indexed data types
Publication date
2004
Authors
Hinze, R.
Jeuring, J.T.
Löh, A.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN)
Citation
Hinze, R, Jeuring, J T & Löh, A 2004, 'Type-indexed data types', Science of Computer Programming, vol. 51, no. 1-2, pp. 117-151.