 | 2009 |
|---|
| 28 |       | 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 |
| 27 | | Oleg Kiselyov,
Chung-chieh Shan:
Embedded Probabilistic Programming.
DSL 2009: 360-384 |
| 26 | | Sebastian Fischer,
Oleg Kiselyov,
Chung-chieh Shan:
Purely functional lazy non-deterministic programming.
ICFP 2009: 11-22 |
| 25 | | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Shifting the stage: staging with delimited control.
PEPM 2009: 111-120 |
| 2008 |
|---|
| 24 | | Oleg Kiselyov,
William E. Byrd,
Daniel P. Friedman,
Chung-chieh Shan:
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).
FLOPS 2008: 64-80 |
| 23 | | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Closing the stage: from staged code to typed closures.
PEPM 2008: 147-157 |
| 2007 |
|---|
| 22 | | Jacques Carette,
Oleg Kiselyov,
Chung-chieh Shan:
Finally Tagless, Partially Evaluated.
APLAS 2007: 222-238 |
| 21 | | Oleg Kiselyov,
Chung-chieh Shan:
Delimited Continuations in Operating Systems.
CONTEXT 2007: 291-302 |
| 20 | | Chung-chieh Shan:
Inverse Scope as Metalinguistic Quotation in Operational Semantics.
JSAI 2007: 123-134 |
| 19 | | Noam Goldberg,
Chung-chieh Shan:
Boosting Optimal Logical Patterns Using Noisy Data.
SDM 2007 |
| 18 | | Oleg Kiselyov,
Chung-chieh Shan:
A Substructural Type System for Delimited Continuations.
TLCA 2007: 223-239 |
| 17 | | Oleg Kiselyov,
Chung-chieh Shan:
Lightweight Static Capabilities.
Electr. Notes Theor. Comput. Sci. 174(7): 79-104 (2007) |
| 16 | | Chung-chieh Shan:
A static simulation of dynamic delimited control.
Higher-Order and Symbolic Computation 20(4): 371-401 (2007) |
| 2006 |
|---|
| 15 | | Oleg Kiselyov,
Chung-chieh Shan,
Amr Sabry:
Delimited dynamic binding.
ICFP 2006: 26-37 |
| 14 | | Rani Nelken,
Chung-chieh Shan:
A Modal Interpretation of the Logic of Interrogation.
Journal of Logic, Language and Information 15(3): 251-271 (2006) |
| 13 | | Chris Barker,
Chung-chieh Shan:
Types as Graphs: Continuations in Type Logical Grammar.
Journal of Logic, Language and Information 15(4): 331-370 (2006) |
| 12 | | Dariusz Biernacki,
Olivier Danvy,
Chung-chieh Shan:
On the static and dynamic extents of delimited continuations.
Sci. Comput. Program. 60(3): 274-297 (2006) |
| 2005 |
|---|
| 11 | | Oleg Kiselyov,
Chung-chieh Shan,
Daniel P. Friedman,
Amr Sabry:
Backtracking, interleaving, and terminating monad transformers: (functional pearl).
ICFP 2005: 192-203 |
| 10 | | Dariusz Biernacki,
Olivier Danvy,
Chung-chieh Shan:
On the dynamic extent of delimited continuations.
Inf. Process. Lett. 96(1): 7-17 (2005) |
| 2004 |
|---|
| 9 | | Chung-chieh Shan:
Delimited continuations in natural language: quantification and polarity sensitivity
CoRR cs.CL/0404006: (2004) |
| 8 | | Chung-chieh Shan:
Polarity sensitivity and evaluation order in type-logical grammar
CoRR cs.CL/0404007: (2004) |
| 7 | | Chung-chieh Shan:
Sexy types in action.
SIGPLAN Notices 39(5): 15-22 (2004) |
| 2002 |
|---|
| 6 | | Balder ten Cate,
Chung-chieh Shan:
Question Answering: From Partitions to Prolog.
TABLEAUX 2002: 251-265 |
| 5 | | Chung-chieh Shan:
Monads for natural language semantics
CoRR cs.CL/0205026: (2002) |
| 4 | | Chung-chieh Shan:
A variable-free dynamic semantics
CoRR cs.CL/0205027: (2002) |
| 3 | | Chung-chieh Shan:
A continuation semantics of interrogatives that accounts for Baker's ambiguity
CoRR cs.CL/0207070: (2002) |
| 2 | | Chung-chieh Shan,
Balder ten Cate:
The partition semantics of questions, syntactically
CoRR cs.CL/0209008: (2002) |
| 1 | | Balder ten Cate,
Chung-chieh Shan:
Question answering: from partitions to Prolog
CoRR cs.CL/0209009: (2002) |
