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

2013.

Research output: ThesisDoctoral Thesis

Unpublished
Original languageEnglish
QualificationPh.D.
Awarding Institution
Supervisors/Advisors
Award date1 Feb 2013
Publication statusUnpublished - 2013
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 14976331