Theory and Implementation of Coercive Subtyping

Tao Xue

Research output: Thesis › Doctoral Thesis

389 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

Access to Document

    Cite this