Chiyan Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2006
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | GPCE | Distributed meta-programming. | Rui Shi, Chiyan Chen, Hongwei Xi |
| 2005 | ICFP | Combining programming with theorem proving. | Chiyan Chen, Hongwei Xi |
| 2004 | PADL | A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. | Chiyan Chen, Rui Shi, Hongwei Xi |
| 2004 | PADL | Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. | Chiyan Chen, Dengping Zhu, Hongwei Xi |
| 2003 | ICFP | Meta-programming through typeful code representation. | Chiyan Chen, Hongwei Xi |
| 2003 | PEPM | Implementing typeful program transformations. | Chiyan Chen, Hongwei Xi |
| 2003 | POPL | Guarded recursive datatype constructors. | Hongwei Xi, Chiyan Chen, Gang Chen |