Inferring Type Isomorphisms Generically

DSpace/Manakin Repository

Inferring Type Isomorphisms Generically
 
Atanassow, F.; Jeuring, J.T.
(2004) Proceedings of the 7th International Conference on Mathematics of Program Construction., pp. 32 - 53
(Part of book)
Download/Full Text
Open Access version via Utrecht University Repository Unknown
 
Keywords: Wiskunde en Informatica (WIIN)
Publisher: Springer
(Peer reviewed)
 
 
See more statistics about this item