Theory and Implementation of Coercive Subtyping

Tao Xue

Research output: ThesisDoctoral Thesis

309 Downloads (Pure)
Original languageEnglish
QualificationPh.D.
Awarding Institution
  • Royal Holloway, University of London
Supervisors/Advisors
  • Luo, Zhaohui, Supervisor
Award date1 Feb 2013
Publication statusUnpublished - 2013

Cite this