Theory and Implementation of Coercive Subtyping. / Xue, Tao.

2013.

Research output: ThesisDoctoral Thesis

Unpublished

Standard

Theory and Implementation of Coercive Subtyping. / Xue, Tao.

2013.

Research output: ThesisDoctoral Thesis

Harvard

Xue, T 2013, 'Theory and Implementation of Coercive Subtyping', Ph.D., Royal Holloway, University of London.

APA

Vancouver

Author

BibTeX

@phdthesis{29d4894a2b8c4e27906f6e46fa6a7f8a,
title = "Theory and Implementation of Coercive Subtyping",
author = "Tao Xue",
year = "2013",
language = "English",
school = "Royal Holloway, University of London",

}

RIS

TY - THES

T1 - Theory and Implementation of Coercive Subtyping

AU - Xue, Tao

PY - 2013

Y1 - 2013

M3 - Doctoral Thesis

ER -