BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chen:Chiyan

Contributed to:

GPCE 20062006
ICFP 20052005
PADL 20042004
ICFP 20032003
PEPM 20032003
POPL 20032003

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.