Skip to main navigation Skip to search Skip to main content

Type-indexed data types

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