Chiyan Chen

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

Coauthor Index

1	Gang Chen	[2]
2	Rui Shi	[6] [9] [10]
3	Hongwei Xi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
4	Dengping Zhu	[5]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page