Chiyan Chen

According to our database, Chiyan Chen authored at least 8 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Implementing Typeful Program Transformations.

Chiyan Chen, Rui Shi, Hongwei Xi

Fundam. Informaticae, 2006

Distributed meta-programming.

Rui Shi, Chiyan Chen, Hongwei Xi

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Meta-programming through typeful code representation.

Chiyan Chen, Hongwei Xi

J. Funct. Program., 2005

Combining programming with theorem proving.

Chiyan Chen, Hongwei Xi

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.

Chiyan Chen, Dengping Zhu, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Typeful Approach to Object-Oriented Programming with Multiple Inheritance.

Chiyan Chen, Rui Shi, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

Guarded recursive datatype constructors.

Hongwei Xi, Chiyan Chen, Gang Chen

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Implementing typeful program transformations.

Chiyan Chen, Hongwei Xi

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003