Coercions in a polymorphic type system

Research output: Contribution to journal › Article › peer-review

118 Downloads (Pure)

Original language	English
Pages (from-to)	729-751
Number of pages	23
Journal	Mathematical Structures in Computer Science
Volume	18
Issue number	4
Early online date	28 Jul 2008
DOIs	https://doi.org/10.1017/S0960129508006804
Publication status	Published - Aug 2008

Access to Document

@article{0077faf76d2d4ee4b637238ff22f72a0,

title = "Coercions in a polymorphic type system",

author = "Zhaohui Luo",

year = "2008",

month = aug,

doi = "10.1017/S0960129508006804",

language = "English",

volume = "18",

pages = "729--751",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "4",

}