Inferring Type Isomorphisms Generically

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 7th International Conference on Mathematics of Program Construction.
Editors	D. Kozen
Place of Publication	Berlin
Publisher	Springer
Pages	32-53
Number of pages	21
Publication status	Published - 2004

Keywords

@inproceedings{ae52e3702a8c476c8da2740b4da3c93a,

title = "Inferring Type Isomorphisms Generically",

keywords = "Wiskunde en Informatica (WIIN)",

author = "F. Atanassow and J.T. Jeuring",

year = "2004",

language = "Undefined/Unknown",

pages = "32--53",

editor = "D. Kozen",

booktitle = "Proceedings of the 7th International Conference on Mathematics of Program Construction.",

publisher = "Springer",

}