Inferring Type Isomorphisms Generically
Publication date
2004
Authors
Atanassow, F.
Jeuring, Johan
Editors
Kozen, D.
Advisors
Supervisors
DOI
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN)
Citation
Atanassow, F & Jeuring, J T 2004, Inferring Type Isomorphisms Generically. in D Kozen (ed.), Proceedings of the 7th International Conference on Mathematics of Program Construction.. Springer, Berlin, pp. 32-53.