Search the dblp DataBase
Chiyan Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Rui Shi, Chiyan Chen, Hongwei Xi
Distributed meta-programming. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:243-248 [Conf] - Chiyan Chen, Hongwei Xi
Meta-programming through typeful code representation. [Citation Graph (0, 0)][DBLP]
ICFP, 2003, pp:275-286 [Conf] - Chiyan Chen, Hongwei Xi
Combining programming with theorem proving. [Citation Graph (0, 0)][DBLP]
ICFP, 2005, pp:66-77 [Conf] - Chiyan Chen, Rui Shi, Hongwei Xi
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. [Citation Graph (0, 0)][DBLP]
PADL, 2004, pp:23-38 [Conf] - Chiyan Chen, Dengping Zhu, Hongwei Xi
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. [Citation Graph (0, 0)][DBLP]
PADL, 2004, pp:239-254 [Conf] - Chiyan Chen, Hongwei Xi
Implementing typeful program transformations. [Citation Graph (0, 0)][DBLP]
PEPM, 2003, pp:20-28 [Conf] - Hongwei Xi, Chiyan Chen, Gang Chen
Guarded recursive datatype constructors. [Citation Graph (0, 0)][DBLP]
POPL, 2003, pp:224-235 [Conf] - Chiyan Chen, Rui Shi, Hongwei Xi
Implementing Typeful Program Transformations. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2006, v:69, n:1-2, pp:103-121 [Journal] - Chiyan Chen, Hongwei Xi
Meta-programming through typeful code representation. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 2005, v:15, n:5, pp:797-835 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002