Dependent record types revisited

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationModules and Libraries for Proof Assistants (MLPA'09), ACM Inter. Conf. Proceeding Series
Volume429
Publication statusPublished - 2009

Cite this