Implementation techniques for inductive types in Plastic. / Callaghan, Paul; Luo, Zhaohui.

Types for Proofs and Programs, Proc of Inter Conf of TYPES'99. LNCS 1956. 2000.

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

Published
Original languageEnglish
Title of host publicationTypes for Proofs and Programs, Proc of Inter Conf of TYPES'99. LNCS 1956
Publication statusPublished - 2000

ID: 1775676