Generic views on data types

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings 8th International Conference on Mathematics of Program Construction, MPC 2006
EditorsT. Uustalu
PublisherSpringer
Pages209-234
Number of pages26
Publication statusPublished - 2006

Bibliographical note

jj11

Cite this