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 × China
1 × Estonia
1 × France
1 × Italy
1 × Japan
1 × United Kingdom
4 × USA
Collaborated with:
O.Kiselyov Y.Kameyama M.Dhawan V.Ganapathy A.Sabry D.P.Friedman N.Ramsey S.Fischer B.Aktemur R.Karim W.E.Byrd
Talks about:
stage (4) type (4) delimit (3) function (2) program (2) generat (2) monad (2) pure (2) code (2) substructur (1)

Person: Chung-chieh Shan

DBLP DBLP: Shan:Chung=chieh

Facilitated 1 volumes:

Haskell 2013Ed

Contributed to:

PEPM 20142014
PEPM 20132013
ECOOP 20122012
ICFP 20092009
PEPM 20092009
FLOPS 20082008
PEPM 20082008
TLCA 20072007
ICFP 20062006
ICFP 20052005
Haskell 20042004
Haskell 20082008
POPL 20172017
PPDP 20182018

Wrote 15 papers:

PEPM-2014-KameyamaKS #code generation #combinator
Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
PEPM-2013-AktemurKKS #challenge #generative #programming
Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
ECOOP-2012-DhawanSG #javascript #transaction
Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.
ECOOP-2012-KarimDGS #analysis #framework
An Analysis of the Mozilla Jetpack Extension Framework (RK, MD, VG, CcS), pp. 333–355.
ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming
Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
PEPM-2009-KameyamaKS #staging
Shifting the stage: staging with delimited control (YK, OK, CcS), pp. 111–120.
FLOPS-2008-KiselyovBFS #declarative
Pure, Declarative, and Constructive Arithmetic Relations (OK, WEB, DPF, CcS), pp. 64–80.
PEPM-2008-KameyamaKS #staged
Closing the stage: from staged code to typed closures (YK, OK, CcS), pp. 147–157.
TLCA-2007-KiselyovS #continuation #type system
A Substructural Type System for Delimited Continuations (OK, CcS), pp. 223–239.
Delimited dynamic binding (OK, CcS, AS), pp. 26–37.
ICFP-2005-KiselyovSFS #backtracking #monad
Backtracking, interleaving, and terminating monad transformers: (OK, CcS, DPF, AS), pp. 192–203.
Haskell-2004-KiselyovS #functional
Functional pearl: implicit configurations-or, type classes reflect the values of types (OK, CcS), pp. 33–44.
Haskell-2008-KiselyovS #lightweight #monad
Lightweight monadic regions (OK, CcS), pp. 1–12.
Exact Bayesian inference by symbolic disintegration (CcS, NR), pp. 130–144.
Calculating Distributions (CcS), p. 5.

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.