Type-indexed data types

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 6th International Conference on Mathematics of Program Construction
Editors	E.A. Boiten, B. Möller
Publisher	Springer
Pages	148-174
Number of pages	27
Publication status	Published - 2002

Cite this

@inproceedings{70151d89a0d7470a93de1035e0353019,

title = "Type-indexed data types",

author = "R. Hinze and J.T. Jeuring and A. L{\"o}h",

year = "2002",

language = "Undefined/Unknown",

pages = "148--174",

editor = "E.A. Boiten and B. M{\"o}ller",

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

publisher = "Springer",

}