Coercive subtyping

• Z. Luo. Manifest fields and module mechanisms in intensional type theory. In Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'08. LNCS 5497. 2009. [pdf-file available.]


• Z. Luo and R. Adams. Structural subtyping for inductive types with functorial equality rules. Mathematical Structures in Computer Science, 18(5), pp. 931-972. 2008. [pdf-file of the final version available.]


• Z. Luo. Coercions in a polymorphic type system. Mathematical Structures in Computer Science, 18(4), pp. 729-751. 2008. [pdf-file of the final version available.]


• Z. Luo and Y. Luo. Transitivity in coercive subtyping. Information and Computation, 197(1-2), pp 122-144. 2005. [ps file of the final version available.]


• R. Kiessling and Z. Luo. Coercions in Hindley-Milner systems. In Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.


• Y. Luo and Z. Luo. Combining incoherent coercions for Sigma-types. In Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004. [ps file available.]


• Y. Luo, Z. Luo and S. Soloviev. Weak transitivity in coercive subtyping. In Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. 2003. [pdf file available.]


• S. Soloviev and Z. Luo. Coercion completion and conservativity in coercive subtyping. Annals of Pure and Applied Logic. Vol 113(1-3), pp. 297-322. 2002. [ps file available.]


• Y. Luo and Z. Luo. Coherence and transitivity in coercive subtyping. Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), Havana, Cuba. LNAI 2250, 2001. [ps file available.]


• Z. Luo and S. Soloviev. Dependent coercions. Proc of the 8th Inter. Conf. on Category Theory in Computer Science (CTCS'99), Edinburgh, Scotland. Electronic Notes in Theoretical Computer Science, Vol 29. 1999. [ps file available.]


• Z. Luo. Coercive subtyping. Journal of Logic and Computation. Vol. 9, No. 1. 1999 [ps file available.]


• A. Jones, Z. Luo, and S. Soloviev. Some algorithmic and proof-theoretical aspects of coercive subtyping. Types for proofs and programs, (eds.) E. Gimenez and C. Paulin-Mohring. LNCS 1512. 1998. [ps file available.]


• Z. Luo. Coercive subtyping in type theory. Proc. of CSL'96, the 1996 Annual Conference of the European Association for Computer Science Logic, Utrecht. LNCS 1258, 1997. [ps file available.]