Xue, Tao (2013) Theory and Implementation of Coercive Subtyping.
Full text access: Open
This is a Approved version This version's date is: 2013 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/b6594048-74d4-0764-7238-281461fc2e83/5/
Deposited by Research Information System (atira) on 22-Jul-2014 in Royal Holloway Research Online.Last modified on 22-Jul-2014