Chung-chieh Shan

According to our database1, Chung-chieh Shan authored at least 55 papers between 2002 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Symbolic Disintegration with a Variety of Base Measures.
ACM Trans. Program. Lang. Syst., 2020

Translating Recursive Probabilistic Programs to Factor Graph Grammars.
CoRR, 2020

Sham: A DSL for Fast DSLs.
CoRR, 2020

From high-level inference algorithms to efficient code.
Proc. ACM Program. Lang., 2019

Efficient compilation of array probabilistic programs.
CoRR, 2018

Calculating Distributions.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Symbolic conditioning of arrays in probabilistic programs.
Proc. ACM Program. Lang., 2017

Composing Inference Algorithms as Program Transformations.
Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Exact Bayesian inference by symbolic disintegration.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Simplifying Probabilistic Programs Using Computer Algebra.
Proceedings of the Practical Aspects of Declarative Languages, 2016

Deriving a probability density calculator (functional pearl).
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Probabilistic Inference by Program Transformation in Hakaru (System Description).
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Combinators for impure yet hygienic code generation.
Sci. Comput. Program., 2015

Continuations and Natural Language.
Oxford Studies in Theoretical Linguistics 53, Oxford University Press, ISBN: 978-0-19-957502-2, 2014

Shonan challenge for generative programming: short position paper.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Integrating Language and Cognitive Architecture.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).
NII Shonan Meet. Rep., 2012

An Analysis of the Mozilla Jetpack Extension Framework.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Enhancing JavaScript with Transactions.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Entailment above the word level in distributional semantics.
Proceedings of the EACL 2012, 2012

Functional un|unparsing.
High. Order Symb. Comput., 2011

Shifting the stage - Staging with delimited control.
J. Funct. Program., 2011

Purely functional lazy nondeterministic programming.
J. Funct. Program., 2011

The case for JavaScript transactions: position paper.
Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

Fun with Type Functions.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
J. Funct. Program., 2009

Monolingual Probabilistic Programming Using Generalized Coroutines.
Proceedings of the UAI 2009, 2009

Purely functional lazy non-deterministic programming.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Embedded Probabilistic Programming.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

Closing the stage: from staged code to typed closures.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Lightweight monadic regions.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

A static simulation of dynamic delimited control.
High. Order Symb. Comput., 2007

Lightweight Static Capabilities.
Electron. Notes Theor. Comput. Sci., 2007

A Substructural Type System for Delimited Continuations.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Boosting Optimal Logical Patterns Using Noisy Data.
Proceedings of the Seventh SIAM International Conference on Data Mining, 2007

Inverse Scope as Metalinguistic Quotation in Operational Semantics.
Proceedings of the New Frontiers in Artificial Intelligence, 2007

Delimited Continuations in Operating Systems.
Proceedings of the Modeling and Using Context, 2007

Finally Tagless, Partially Evaluated.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

On the static and dynamic extents of delimited continuations.
Sci. Comput. Program., 2006

A Modal Interpretation of the Logic of Interrogation.
J. Log. Lang. Inf., 2006

Types as Graphs: Continuations in Type Logical Grammar.
J. Log. Lang. Inf., 2006

Delimited dynamic binding.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

On the dynamic extent of delimited continuations.
Inf. Process. Lett., 2005

Backtracking, interleaving, and terminating monad transformers: (functional pearl).
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Sexy types in action.
ACM SIGPLAN Notices, 2004

Delimited continuations in natural language: quantification and polarity sensitivity
CoRR, 2004

Polarity Sensitivity and Evaluation Order in Type-Logical Grammar.
Proceedings of HLT-NAACL 2004: Short Papers, Boston, Massachusetts, USA, May 2-7, 2004, 2004

Functional pearl: implicit configurations-or, type classes reflect the values of types.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

The partition semantics of questions, syntactically
CoRR, 2002

A continuation semantics of interrogatives that accounts for Baker's ambiguity
CoRR, 2002

A variable-free dynamic semantics
CoRR, 2002

Monads for natural language semantics
CoRR, 2002

Question Answering: From Partitions to Prolog.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002