Coercions in a polymorphic type system

Luo, Zhaohui

(2008)

Luo, Zhaohui (2008) Coercions in a polymorphic type system. Mathematical Structures in Computer Science, 18 (4).

Our Full Text Deposits

Full text access: Open

Full text file - 368.5 KB

Abstract

Information about this Version

This is a Submitted version
This version's date is: 2008
This item is not peer reviewed

Link to this Version

https://repository.royalholloway.ac.uk/items/4c01f98e-1cd9-7e27-969c-66eee2500329/4/

Item TypeJournal Article
TitleCoercions in a polymorphic type system
AuthorsLuo, Zhaohui
DepartmentsFaculty of Science\Computer Science

Identifiers
doihttp://dx.doi.org/10.1017/S0960129508006956

Deposited by Research Information System (atira) on 27-Jan-2013 in Royal Holloway Research Online.Last modified on 27-Jan-2013

Details