Theory and implementation of coercive subtyping
Coercive subtyping is a useful and powerful framework of subtyping for type theories. In this thesis, we point out the problem in the old formulation of coercive subtyping in [Luo99], give a new and adequate formulation T[C], the system that extends a type theory T with coercive subtyping based on a...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Royal Holloway, University of London
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.589533 |