Coercions in a polymorphic type system

Research output: Contribution to journalArticlepeer-review

81 Downloads (Pure)
Original languageEnglish
Pages (from-to)729-751
Number of pages23
JournalMathematical Structures in Computer Science
Volume18
Issue number4
Early online date28 Jul 2008
DOIs
Publication statusPublished - Aug 2008

Cite this