Theory and Implementation of Coercive Subtyping

Xue, Tao

(2013)

Xue, Tao (2013) Theory and Implementation of Coercive Subtyping.

Our Full Text Deposits

Full text access: Open

Full text file - 1.11 MB

Abstract

Information about this Version

This is a Approved version
This version's date is: 2013
This item is not peer reviewed

Link to this Version

https://repository.royalholloway.ac.uk/items/b6594048-74d4-0764-7238-281461fc2e83/7/

Item TypeThesis (Doctoral)
TitleTheory and Implementation of Coercive Subtyping
AuthorsXue, Tao
DepartmentsFaculty of Science\Computer Science

Identifiers

Deposited by Research Information System (atira) on 18-Nov-2014 in Royal Holloway Research Online.Last modified on 05-Feb-2017

Details