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