Generic views on data types

S. Holdermans, J.T. Jeuring, A. Löh, A. Rodriguez

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

Original language	Undefined/Unknown
Title of host publication	Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006
Editors	T. Uustalu
Publisher	Springer
Pages	209-234
Number of pages	26
Publication status	Published - 2006

jj11

Cite this

@inproceedings{7acc831d4bbc4375acce89fd6e5d5363,

title = "Generic views on data types",

author = "S. Holdermans and J.T. Jeuring and A. L{\"o}h and A. Rodriguez",

note = "jj11",

year = "2006",

language = "Undefined/Unknown",

pages = "209--234",

editor = "T. Uustalu",

booktitle = "Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006",

publisher = "Springer",

}