Luo, Zhaohui (2008) Coercions in a polymorphic type system. Mathematical Structures in Computer Science, 18 (4).
Full text access: Open
This is a Approved version This version's date is: 8/2008 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/4c01f98e-1cd9-7e27-969c-66eee2500329/8/
Deposited by Research Information System (atira) on 03-Jul-2014 in Royal Holloway Research Online.Last modified on 03-Jul-2014