`Travelled to:`

1 × Estonia

1 × Sweden

4 × USA

`Collaborated with:`

H.Xi R.Shi D.Zhu G.Chen

`Talks about:`

program (5) type (4) implement (2) meta (2) constructor (1) transform (1) represent (1) distribut (1) approach (1) theorem (1)

## Person: Chiyan Chen

### DBLP: Chen:Chiyan

### Contributed to:

### Wrote 7 papers:

- GPCE-2006-ShiCX #distributed #metaprogramming
- Distributed meta-programming (RS, CC, HX), pp. 243–248.
- ICFP-2005-ChenX #programming #proving #theorem proving
- Combining programming with theorem proving (CC, HX), pp. 66–77.
- PADL-2004-ChenSX #approach #inheritance #multi #object-oriented #programming
- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance (CC, RS, HX), pp. 23–38.
- PADL-2004-ChenZX #case study #dependent type #haskell #implementation #simulation
- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.
- ICFP-2003-ChenX #metaprogramming #representation
- Meta-programming through typeful code representation (CC, HX), pp. 275–286.
- PEPM-2003-ChenX #implementation #program transformation
- Implementing typeful program transformations (CC, HX), pp. 20–28.
- POPL-2003-XiCC #data type #recursion
- Guarded recursive datatype constructors (HX, CC, GC), pp. 224–235.