Question Answering: From Partitions to Prolog. - Balder ten Cate; Chung-chieh Shan (TABLEAUX, 2002)

Monads for natural language semantics - Chung-chieh Shan (CoRR, 2002)

A variable-free dynamic semantics - Chung-chieh Shan (CoRR, 2002)

A continuation semantics of interrogatives that accounts for Baker's ambiguity - Chung-chieh Shan (CoRR, 2002)

The partition semantics of questions, syntactically - Chung-chieh Shan; Balder ten Cate (CoRR, 2002)

Functional pearl: implicit configurations-or, type classes reflect the values of types. - Oleg Kiselyov; Chung-chieh Shan (Haskell, 2004)

Polarity Sensitivity and Evaluation Order in Type-Logical Grammar. - Chung-chieh Shan (HLT-NAACL (Short Papers), 2004)

Delimited continuations in natural language: quantification and polarity sensitivity - Chung-chieh Shan (CoRR, 2004)

Sexy types in action. - Chung-chieh Shan (ACM SIGPLAN Notices, 2004)

Backtracking, interleaving, and terminating monad transformers: (functional pearl). - Oleg Kiselyov; Chung-chieh Shan; Daniel P. Friedman; Amr Sabry (ICFP, 2005)

On the dynamic extent of delimited continuations. - Dariusz Biernacki; Olivier Danvy; Chung-chieh Shan (Inf. Process. Lett., 2005)

Delimited dynamic binding. - Oleg Kiselyov; Chung-chieh Shan; Amr Sabry (ICFP, 2006)

Lightweight Static Capabilities. - Oleg Kiselyov; Chung-chieh Shan (PLPV@IJCAR, 2006)

Types as Graphs: Continuations in Type Logical Grammar. - Chris Barker; Chung-chieh Shan (J. Log. Lang. Inf., 2006)

A Modal Interpretation of the Logic of Interrogation. - Rani Nelken; Chung-chieh Shan (J. Log. Lang. Inf., 2006)

On the static and dynamic extents of delimited continuations. - Dariusz Biernacki; Olivier Danvy; Chung-chieh Shan (Sci. Comput. Program., 2006)

Finally Tagless, Partially Evaluated. - Jacques Carette; Oleg Kiselyov; Chung-chieh Shan (APLAS, 2007)

Delimited Continuations in Operating Systems. - Oleg Kiselyov; Chung-chieh Shan (CONTEXT, 2007)

Inverse Scope as Metalinguistic Quotation in Operational Semantics. - Chung-chieh Shan (JSAI, 2007)

Boosting Optimal Logical Patterns Using Noisy Data. - Noam Goldberg; Chung-chieh Shan (SDM, 2007)

A Substructural Type System for Delimited Continuations. - Oleg Kiselyov; Chung-chieh Shan (TLCA, 2007)

A static simulation of dynamic delimited control. - Chung-chieh Shan (High. Order Symb. Comput., 2007)

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). - Oleg Kiselyov; William E. Byrd; Daniel P. Friedman; Chung-chieh Shan (FLOPS, 2008)

Lightweight monadic regions. - Oleg Kiselyov; Chung-chieh Shan (Haskell, 2008)

Closing the stage: from staged code to typed closures. - Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (PEPM, 2008)

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. - Olivier Danvy; Chung-chieh Shan; Ian Zerny (DSL, 2009)

Embedded Probabilistic Programming. - Oleg Kiselyov; Chung-chieh Shan (DSL, 2009)

Purely functional lazy non-deterministic programming. - Sebastian Fischer 001; Oleg Kiselyov; Chung-chieh Shan (ICFP, 2009)

Monolingual Probabilistic Programming Using Generalized Coroutines. - Oleg Kiselyov; Chung-chieh Shan (UAI, 2009)

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. - Jacques Carette; Oleg Kiselyov; Chung-chieh Shan (J. Funct. Program., 2009)

Fun with Type Functions. - Oleg Kiselyov; Simon Peyton Jones; Chung-chieh Shan (Reflections on the Work of C. A. R. Hoare, 2010)

The case for JavaScript transactions: position paper. - Mohan Dhawan; Chung-chieh Shan; Vinod Ganapathy (PLAS, 2010)

Purely functional lazy nondeterministic programming. - Sebastian Fischer 001; Oleg Kiselyov; Chung-chieh Shan (J. Funct. Program., 2011)

Shifting the stage - Staging with delimited control. - Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (J. Funct. Program., 2011)

Functional un|unparsing. - Kenichi Asai; Oleg Kiselyov; Chung-chieh Shan (High. Order Symb. Comput., 2011)

Entailment above the word level in distributional semantics. - Marco Baroni; Raffaella Bernardi; Ngoc-Quynh Do; Chung-chieh Shan (EACL, 2012)

Enhancing JavaScript with Transactions. - Mohan Dhawan; Chung-chieh Shan; Vinod Ganapathy (ECOOP, 2012)

An Analysis of the Mozilla Jetpack Extension Framework. - Rezwana Karim; Mohan Dhawan; Vinod Ganapathy; Chung-chieh Shan (ECOOP, 2012)

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4). - Oleg Kiselyov; Chung-chieh Shan; Yukiyoshi Kameyama (NII Shonan Meet. Rep., 2012)

Integrating Language and Cognitive Architecture. - John Tracy Hale; Richard L. Lewis; David Reitter; Chung-chieh Shan; Sashank Varma (AAAI Fall Symposia, 2013)

Shonan challenge for generative programming: short position paper. - Baris Aktemur; Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (PEPM, 2013)

Continuations and Natural Language. - Chris Barker; Chung-chieh Shan (Oxford University Press, 2014)

Combinators for impure yet hygienic code generation. - Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (Sci. Comput. Program., 2015)

Probabilistic Inference by Program Transformation in Hakaru (System Description). - Praveen Narayanan; Jacques Carette; Wren Romano; Chung-chieh Shan; Robert Zinkov (FLOPS, 2016)

Deriving a probability density calculator (functional pearl). - Wazim Mohammed Ismail; Chung-chieh Shan (ICFP, 2016)

Simplifying Probabilistic Programs Using Computer Algebra. - Jacques Carette; Chung-chieh Shan (PADL, 2016)

Exact Bayesian inference by symbolic disintegration. - Chung-chieh Shan; Norman Ramsey (POPL, 2017)

Composing Inference Algorithms as Program Transformations. - Robert Zinkov; Chung-chieh Shan (UAI, 2017)

Symbolic conditioning of arrays in probabilistic programs. - Praveen Narayanan; Chung-chieh Shan (Proc. ACM Program. Lang., 2017)

Calculating Distributions. - Chung-chieh Shan (PPDP, 2018)

Efficient compilation of array probabilistic programs. - Rajan Walia; Jacques Carette; Praveen Narayanan; Chung-chieh Shan; Sam Tobin-Hochstadt (CoRR, 2018)

From high-level inference algorithms to efficient code. - Rajan Walia; Praveen Narayanan; Jacques Carette; Sam Tobin-Hochstadt; Chung-chieh Shan (Proc. ACM Program. Lang., 2019)

Translating Recursive Probabilistic Programs to Factor Graph Grammars. - David Chiang 001; Chung-chieh Shan (CoRR, 2020)

Symbolic Disintegration with a Variety of Base Measures. - Praveen Narayanan; Chung-chieh Shan (ACM Trans. Program. Lang. Syst., 2020)

Sham: A DSL for Fast DSLs. - Rajan Walia; Chung-chieh Shan; Sam Tobin-Hochstadt (Art Sci. Eng. Program., 2022)

Exact Recursive Probabilistic Programming. - David Chiang 001; Colin McDonald; Chung-chieh Shan (Proc. ACM Program. Lang., 2023)