Coercions in Hindley-Milner systems

R. Kießling, Z. Luo

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

Original languageEnglish
Title of host publicationTypes for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085
Publication statusPublished - 2004

Cite this