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/3/
Deposited by Research Information System (atira) on 13-Sep-2013 in Royal Holloway Research Online.Last modified on 13-Sep-2013