Type-indexed data types

DSpace/Manakin Repository

Type-indexed data types
 
Hinze, R.; Jeuring, J.T.; Löh, A.
(2004) Science of Computer Programming, volume 51, issue 1-2, pp. 117 - 151
(Article)
Download/Full Text
Open Access version via Utrecht University Repository Unknown
 
Keywords: Wiskunde en Informatica (WIIN)
ISSN: 0167-6423
Publisher: Elsevier
(Peer reviewed)
 
 
See more statistics about this item