Publications

_Journals

• G. Chen, Soundness of Coercion in the Calculus of Constructions (ps.gz), accepted by Journal of Logic and Computation.
• G. Castagna, G. Chen, Dependent Types with Subtyping and Lately-bindedOverloading (ps.gz)

in Information and Computation 168(1):1-67, Academic Press, 2001.
• G. Chen, Dependent Type System with Subtyping (full version) (dvi.gz)

in the Journal of Computer Science and Technology, Vol. 14, No. 1, January 1999.

_{Conferences and Workshops}

• G. Chen, Coercive subtyping for the Calculus of Constructions (ps.gz)

in The 30th Annual ACM SIGPLAN - SIGACT Symposium on Principle of Programming Language (POPL), 2003.
• H. Xi, C. Chen and G. Chen, Guarded Recursive Datatype Constructors (ps.gz)

in The 30th Annual ACM SIGPLAN - SIGACT Symposium on Principle of Programming Language (POPL), 2003.
• G. Chen, Full Integration of Subtyping and if-expression (ps.gz)

in The 4th International Conference on Principle and Practice of Declarative Programming Language (PPDP), 2002.
• G. Chen, Subtyping Calculus of Construction (extended abstract) (ps.gz)

in The 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS), 1997.
• G. Chen and G. Longo, Subtyping Parametric and Dependent Type -- An Introduction (ps.gz)

in Type Theory and Term Rewriting, edited by Kamareddine et al., 1996.
• G. Castagna and G. Chen, Dependent Types with Subtyping and Lately-binded Overloading (div.gz)

in Workshop On Subtyping, Inheritance And Modular Development Of Proofs, Durhum, UK, Sept. 1997.
• G. Chen, Dependent Type System with Subtyping (extended abstract) (dvi.gz, slides)

in KIT Summer School & Workshop in Beijing, Sept. 1997.
• G. Chen, Decidability of Type Formation in Lambda-and Calculus (dvi.gz, slides)

in HCM-Typed Lambda Calculi 95, Torino, Italy, Dec. 1995.

_{Technical Reports}

• G. Chen, Subtyping and if-expression (dvi.gz)

Advanced Computing Research Centre, School of Computer and Information Science, University of South Australia,  Research Report ACRC-99-016, Oct. 1999.
• Martin Odersky, Christoph Zenger, Matthias Zenger and Gang Chen A Functional View of Join (dvi.gz)

Advanced Computing  Research Centre, School of Computer and Information Science, University of South Australia, Research Report ACRC-99-016, Oct. 1999.
• G. Chen, Coercive subtyping for the Calculus of Constructions (dvi.gz)

Advanced Computing  Research Centre, School of Computer and Information Science, University of South Australia, Research Report ACRC-99-008, Jun. 1999.
• G. Chen, Dependent Type System with Subtyping (full version) (dvi.gz)

Laboratoire d'Informatique, Ecole Normale Superieure, Paris, Technical Report LIENS-96-27, 1996.

• A. Kfoury and G. Chen, An Approach to Beta-Unification Without Renaming

Boston University, Computer Science Department.

_Thesis

• Subtyping, Type Conversion and Transitivity Elimination (ps.gz)

University Paris 7, December 1998.