Tao Xue. Theory and implementation of coercive subtyping. PhD thesis, Royal Holloway, University of London, UK, 2013. [doi]
@phdthesis{ethos-538, title = {Theory and implementation of coercive subtyping}, author = {Tao Xue}, year = {2013}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.589533}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-538}, cites = {0}, citedby = {0}, school = {Royal Holloway, University of London, UK}, }