Coercions in Hindley-Milner systems. / Kießling, R.; Luo, Z.

Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.

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'03. LNCS'3085
Publication statusPublished - 2004

ID: 1773984