Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Chung-chieh Shan
2010 – today
- 2013
[c21]Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shonan challenge for generative programming: short position paper. PEPM 2013: 147-154- [e2]Chung-chieh Shan (Ed.): Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013. ACM 2013, ISBN 978-1-4503-2383-3
- 2012
- [c20]Marco Baroni, Raffaella Bernardi, Ngoc-Quynh Do, Chung-chieh Shan: Entailment above the word level in distributional semantics. EACL 2012: 23-32
- [c19]Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan: An Analysis of the Mozilla Jetpack Extension Framework. ECOOP 2012: 333-355
- [c18]Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy: Enhancing JavaScript with Transactions. ECOOP 2012: 383-408
- [i8]Oleg Kiselyov, Chung-chieh Shan: Monolingual Probabilistic Programming Using Generalized Coroutines. CoRR abs/1205.2636 (2012)
- 2011
- [j11]Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan: Purely functional lazy nondeterministic programming. J. Funct. Program. 21(4-5): 413-465 (2011)
- [j10]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shifting the stage - Staging with delimited control. J. Funct. Program. 21(6): 617-662 (2011)
- [j9]Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan: Functional un|unparsing. Higher-Order and Symbolic Computation 24(4): 311-340 (2011)
- [e1]Olivier Danvy, Chung-chieh Shan (Eds.): Proceedings IFIP Working Conference on Domain-Specific Languages. EPTCS 66, 2011
2000 – 2009
- 2009
- [j8]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5): 509-543 (2009)
- [c17]Olivier Danvy, Chung-chieh Shan, Ian Zerny: J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. DSL 2009: 1-19
- [c16]
- [c15]Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan: Purely functional lazy non-deterministic programming. ICFP 2009: 11-22
- [c14]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shifting the stage: staging with delimited control. PEPM 2009: 111-120
- [c13]Oleg Kiselyov, Chung-chieh Shan: Monolingual Probabilistic Programming Using Generalized Coroutines. UAI 2009: 285-292
- 2008
- [c12]Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan: Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80
- [c11]
- [c10]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Closing the stage: from staged code to typed closures. PEPM 2008: 147-157
- 2007
- [j7]Oleg Kiselyov, Chung-chieh Shan: Lightweight Static Capabilities. Electr. Notes Theor. Comput. Sci. 174(7): 79-104 (2007)
- [j6]Chung-chieh Shan: A static simulation of dynamic delimited control. Higher-Order and Symbolic Computation 20(4): 371-401 (2007)
- [c9]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally Tagless, Partially Evaluated. APLAS 2007: 222-238
- [c8]Oleg Kiselyov, Chung-chieh Shan: Delimited Continuations in Operating Systems. CONTEXT 2007: 291-302
- [c7]Chung-chieh Shan: Inverse Scope as Metalinguistic Quotation in Operational Semantics. JSAI 2007: 123-134
- [c6]
- [c5]Oleg Kiselyov, Chung-chieh Shan: A Substructural Type System for Delimited Continuations. TLCA 2007: 223-239
- 2006
- [j5]Rani Nelken, Chung-chieh Shan: A Modal Interpretation of the Logic of Interrogation. Journal of Logic, Language and Information 15(3): 251-271 (2006)
- [j4]Chris Barker, Chung-chieh Shan: Types as Graphs: Continuations in Type Logical Grammar. Journal of Logic, Language and Information 15(4): 331-370 (2006)
- [j3]Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the static and dynamic extents of delimited continuations. Sci. Comput. Program. 60(3): 274-297 (2006)
- [c4]
- 2005
- [j2]Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the dynamic extent of delimited continuations. Inf. Process. Lett. 96(1): 7-17 (2005)
- [c3]Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry: Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203
- 2004
- [j1]
- [c2]Oleg Kiselyov, Chung-chieh Shan: Functional pearl: implicit configurations-or, type classes reflect the values of types. Haskell 2004: 33-44
- [i7]Chung-chieh Shan: Delimited continuations in natural language: quantification and polarity sensitivity. CoRR cs.CL/0404006 (2004)
- [i6]Chung-chieh Shan: Polarity sensitivity and evaluation order in type-logical grammar. CoRR cs.CL/0404007 (2004)
- 2002
- [c1]Balder ten Cate, Chung-chieh Shan: Question Answering: From Partitions to Prolog. TABLEAUX 2002: 251-265
- [i5]
- [i4]
- [i3]Chung-chieh Shan: A continuation semantics of interrogatives that accounts for Baker's ambiguity. CoRR cs.CL/0207070 (2002)
- [i2]Chung-chieh Shan, Balder ten Cate: The partition semantics of questions, syntactically. CoRR cs.CL/0209008 (2002)
- [i1]Balder ten Cate, Chung-chieh Shan: Question answering: from partitions to Prolog. CoRR cs.CL/0209009 (2002)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:13 CEST by the dblp team