Implementing typeful program transformations. - Chiyan Chen; Hongwei Xi 001 (PEPM, 2003)

Guarded recursive datatype constructors. - Hongwei Xi 001; Chiyan Chen; Gang Chen (POPL, 2003)

A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. - Chiyan Chen; Rui Shi; Hongwei Xi 001 (PADL, 2004)

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. - Chiyan Chen; Dengping Zhu; Hongwei Xi 001 (PADL, 2004)

Combining programming with theorem proving. - Chiyan Chen; Hongwei Xi 001 (ICFP, 2005)

Meta-programming through typeful code representation. - Chiyan Chen; Hongwei Xi 001 (J. Funct. Program., 2005)

Distributed meta-programming. - Rui Shi; Chiyan Chen; Hongwei Xi 001 (GPCE, 2006)

Implementing Typeful Program Transformations. - Chiyan Chen; Rui Shi; Hongwei Xi 001 (Fundam. Informaticae, 2006)