dblp.uni-trier.dewww.uni-trier.de

Chung-chieh Shan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Chris Barker [13]
2Dariusz Biernacki [10] [12]
3William E. Byrd [24]
4Jacques Carette [22]
5Balder ten Cate [1] [2] [6]
6Olivier Danvy [10] [12]
7Daniel P. Friedman [11] [24]
8Noam Goldberg [19]
9Yukiyoshi Kameyama [23] [25]
10Oleg Kiselyov [11] [15] [17] [18] [21] [22] [23] [24] [25]
11Rani Nelken [14]
12Amr Sabry [11] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)