@inproceedings{KameyamaKS08,
  title = {Closing the stage: from staged code to typed closures},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2008},
  doi = {10.1145/1328408.1328430},
  url = {http://doi.acm.org/10.1145/1328408.1328430},
  researchr = {https://researchr.org/publication/KameyamaKS08},
  cites = {0},
  citedby = {0},
  pages = {147-157},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008},
  editor = {Robert Glück and Oege de Moor},
  publisher = {ACM},
  isbn = {978-1-59593-977-7},
}

@article{KiselyovS07,
  title = {Lightweight Static Capabilities},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.039},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.10.039},
  researchr = {https://researchr.org/publication/KiselyovS07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {174},
  number = {7},
  pages = {79-104},
}

@inproceedings{KameyamaKS09,
  title = {Shifting the stage: staging with delimited control},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1145/1480945.1480962},
  url = {http://doi.acm.org/10.1145/1480945.1480962},
  tags = {control systems, programming languages, optimization, semantics, translation, type soundness, composition, type system, reuse, source-to-source, type checking, compiler, programming, operational semantics, program optimization, systematic-approach, open-source, domain-specific language},
  researchr = {https://researchr.org/publication/KameyamaKS09},
  cites = {0},
  citedby = {0},
  pages = {111-120},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  editor = {Germán Puebla and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-60558-327-3},
}

@article{BarkerS06,
  title = {Types as Graphs: Continuations in Type Logical Grammar},
  author = {Chris Barker and Chung-chieh Shan},
  year = {2006},
  doi = {10.1007/s10849-006-0541-6},
  url = {http://dx.doi.org/10.1007/s10849-006-0541-6},
  tags = {graph-rewriting, rewriting, grammar},
  researchr = {https://researchr.org/publication/BarkerS06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic, Language and Information},
  volume = {15},
  number = {4},
  pages = {331-370},
}

@inproceedings{KiselyovS08,
  title = {Lightweight monadic regions},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2008},
  doi = {10.1145/1411286.1411288},
  url = {http://doi.acm.org/10.1145/1411286.1411288},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/KiselyovS08},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  editor = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@inproceedings{KiselyovSFS05,
  title = {Backtracking, interleaving, and terminating monad transformers: (functional pearl)},
  author = {Oleg Kiselyov and Chung-chieh Shan and Daniel P. Friedman and Amr Sabry},
  year = {2005},
  doi = {10.1145/1086365.1086390},
  url = {http://doi.acm.org/10.1145/1086365.1086390},
  researchr = {https://researchr.org/publication/KiselyovSFS05},
  cites = {0},
  citedby = {0},
  pages = {192-203},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@article{Shan04,
  title = {Sexy types in action},
  author = {Chung-chieh Shan},
  year = {2004},
  doi = {10.1145/997140.997142},
  url = {http://doi.acm.org/10.1145/997140.997142},
  researchr = {https://researchr.org/publication/Shan04},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {39},
  number = {5},
  pages = {15-22},
}

@inproceedings{FischerKS09,
  title = {Purely functional lazy non-deterministic programming},
  author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1145/1596550.1596556},
  url = {http://doi.acm.org/10.1145/1596550.1596556},
  tags = {laziness, functional programming, programming},
  researchr = {https://researchr.org/publication/FischerKS09},
  cites = {0},
  citedby = {0},
  pages = {11-22},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@inproceedings{KiselyovS09,
  title = {Embedded Probabilistic Programming},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_17},
  url = {http://dx.doi.org/10.1007/978-3-642-03034-5_17},
  tags = {laziness, programming languages, object-oriented programming, meta programming,  OCaml, meta-model, modeling language, modeling, traversal, language modeling, tagless-final, object-role modeling, DSL, programming, subject-oriented programming, Meta-Environment, search, feature-oriented programming, meta-objects, probabilistic programming, domain-specific language},
  researchr = {https://researchr.org/publication/KiselyovS09},
  cites = {0},
  citedby = {0},
  pages = {360-384},
  booktitle = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@inproceedings{DanvySZ09,
  title = {J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations},
  author = {Olivier Danvy and Chung-chieh Shan and Ian Zerny},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_1},
  url = {http://dx.doi.org/10.1007/978-3-642-03034-5_1},
  tags = {JavaScript, DSL},
  researchr = {https://researchr.org/publication/DanvySZ09},
  cites = {0},
  citedby = {0},
  pages = {1-19},
  booktitle = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@inproceedings{GoldbergS07,
  title = {Boosting Optimal Logical Patterns Using Noisy Data},
  author = {Noam Goldberg and Chung-chieh Shan},
  year = {2007},
  url = {http://www.siam.org/meetings/proceedings/2007/datamining/papers/021Goldberg.pdf},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/GoldbergS07},
  cites = {0},
  citedby = {0},
  pages = {228-236},
  booktitle = {Proceedings of the Seventh SIAM International Conference on Data Mining, April 26-28, 2007, Minneapolis, Minnesota, USA},
  publisher = {SIAM},
}

@inproceedings{CaretteKS07,
  title = {Finally Tagless, Partially Evaluated},
  author = {Jacques Carette and Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/978-3-540-76637-7_15},
  url = {http://dx.doi.org/10.1007/978-3-540-76637-7_15},
  researchr = {https://researchr.org/publication/CaretteKS07},
  cites = {0},
  citedby = {0},
  pages = {222-238},
  booktitle = {Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings},
  editor = {Zhong Shao},
  volume = {4807},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76636-0},
}

@inproceedings{KiselyovS07:0,
  title = {A Substructural Type System for Delimited Continuations},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/978-3-540-73228-0_17},
  url = {http://dx.doi.org/10.1007/978-3-540-73228-0_17},
  tags = {type system},
  researchr = {https://researchr.org/publication/KiselyovS07%3A0},
  cites = {0},
  citedby = {0},
  pages = {223-239},
  booktitle = {Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings},
  editor = {Simona Ronchi Della Rocca},
  volume = {4583},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73227-3},
}

@inproceedings{KiselyovBFS08,
  title = {Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)},
  author = {Oleg Kiselyov and William E. Byrd and Daniel P. Friedman and Chung-chieh Shan},
  year = {2008},
  doi = {10.1007/978-3-540-78969-7_7},
  url = {http://dx.doi.org/10.1007/978-3-540-78969-7_7},
  tags = {e-science},
  researchr = {https://researchr.org/publication/KiselyovBFS08},
  cites = {0},
  citedby = {0},
  pages = {64-80},
  booktitle = {Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings},
  editor = {Jacques Garrigue and Manuel V. Hermenegildo},
  volume = {4989},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78968-0},
}

@inproceedings{Shan07,
  title = {Inverse Scope as Metalinguistic Quotation in Operational Semantics},
  author = {Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/978-3-540-78197-4_13},
  url = {http://dx.doi.org/10.1007/978-3-540-78197-4_13},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/Shan07},
  cites = {0},
  citedby = {0},
  pages = {123-134},
  booktitle = {New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers},
  editor = {Ken Satoh and Akihiro Inokuchi and Katashi Nagao and Takahiro Kawamura},
  volume = {4914},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78196-7},
}

@article{Shan07:0,
  title = {A static simulation of dynamic delimited control},
  author = {Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/s10990-007-9010-4},
  url = {http://dx.doi.org/10.1007/s10990-007-9010-4},
  researchr = {https://researchr.org/publication/Shan07%3A0},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {20},
  number = {4},
  pages = {371-401},
}

@article{CaretteKS09,
  title = {Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages},
  author = {Jacques Carette and Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1017/S0956796809007205},
  url = {http://dx.doi.org/10.1017/S0956796809007205},
  tags = {types, data-flow language, interpreter, abstract syntax, tagging, transformation language, tagless-final, Haskell, data-flow, compiler,  algebra, partial evaluation, DSL, Meta-Environment, higher-order transformations, meta-objects, transformation},
  researchr = {https://researchr.org/publication/CaretteKS09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {5},
  pages = {509-543},
}