Typed Operational Semantics for Dependent Record Types

Yangyue Feng, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationProceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53
Publication statusPublished - 2011

Cite this