| 2006 |
|---|
| 9 | EE | Rui Shi,
Chiyan Chen,
Hongwei Xi:
Distributed meta-programming.
GPCE 2006: 243-248 |
| 8 | EE | Chiyan Chen,
Rui Shi,
Hongwei Xi:
Implementing Typeful Program Transformations.
Fundam. Inform. 69(1-2): 103-121 (2006) |
| 2005 |
|---|
| 7 | EE | Chiyan Chen,
Hongwei Xi:
Combining programming with theorem proving.
ICFP 2005: 66-77 |
| 6 | EE | Chiyan Chen,
Hongwei Xi:
Meta-programming through typeful code representation.
J. Funct. Program. 15(5): 797-835 (2005) |
| 2004 |
|---|
| 5 | EE | Chiyan Chen,
Rui Shi,
Hongwei Xi:
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance.
PADL 2004: 23-38 |
| 4 | EE | Chiyan Chen,
Dengping Zhu,
Hongwei Xi:
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.
PADL 2004: 239-254 |
| 2003 |
|---|
| 3 | EE | Chiyan Chen,
Hongwei Xi:
Meta-programming through typeful code representation.
ICFP 2003: 275-286 |
| 2 | EE | Chiyan Chen,
Hongwei Xi:
Implementing typeful program transformations.
PEPM 2003: 20-28 |
| 1 | EE | Hongwei Xi,
Chiyan Chen,
Gang Chen:
Guarded recursive datatype constructors.
POPL 2003: 224-235 |
