Dependent record types revisited. / Luo, Z.

Modules and Libraries for Proof Assistants (MLPA'09), ACM Inter. Conf. Proceeding Series. Vol. 429 2009.

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

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

ID: 1773876