Type-indexed data types

R. Hinze, J.T. Jeuring, A. Löh

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

Original languageUndefined/Unknown
Title of host publicationProceedings of the 6th International Conference on Mathematics of Program Construction
EditorsE.A. Boiten, B. Möller
PublisherSpringer
Pages148-174
Number of pages27
Publication statusPublished - 2002

Cite this