Chung-chieh Shan

Proc. ACM Program. Lang., April, 2023

2022

Sham: A DSL for Fast DSLs.

[BibT_eX]

[DOI]

Rajan Walia

Sam Tobin-Hochstadt

Art Sci. Eng. Program., 2022

2020

Symbolic Disintegration with a Variety of Base Measures.

[BibT_eX]

[DOI]

Praveen Narayanan

ACM Trans. Program. Lang. Syst., 2020

Translating Recursive Probabilistic Programs to Factor Graph Grammars.

[BibT_eX]

[DOI]

David Chiang

CoRR, 2020

2019

From high-level inference algorithms to efficient code.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

2018

Efficient compilation of array probabilistic programs.

[BibT_eX]

[DOI]

CoRR, 2018

Calculating Distributions.

[BibT_eX]

[DOI]

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

2017

Symbolic conditioning of arrays in probabilistic programs.

[BibT_eX]

[DOI]

Praveen Narayanan

Proc. ACM Program. Lang., 2017

Composing Inference Algorithms as Program Transformations.

[BibT_eX]

[DOI]

Robert Zinkov

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Exact Bayesian inference by symbolic disintegration.

[BibT_eX]

[DOI]

Norman Ramsey

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Simplifying Probabilistic Programs Using Computer Algebra.

[BibT_eX]

[DOI]

Jacques Carette

Proceedings of the Practical Aspects of Declarative Languages, 2016

Deriving a probability density calculator (functional pearl).

[BibT_eX]

[DOI]

Wazim Mohammed Ismail

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Probabilistic Inference by Program Transformation in Hakaru (System Description).

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Combinators for impure yet hygienic code generation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

2014

Continuations and Natural Language.

[BibT_eX]

[DOI]

Chris Barker

Oxford Studies in Theoretical Linguistics 53, Oxford University Press, ISBN: 978-0-19-957502-2, 2014

2013

Shonan challenge for generative programming: short position paper.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Integrating Language and Cognitive Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012

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

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2012

An Analysis of the Mozilla Jetpack Extension Framework.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Enhancing JavaScript with Transactions.

[BibT_eX]

[DOI]

Mohan Dhawan

Vinod Ganapathy

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Entailment above the word level in distributional semantics.

[BibT_eX]

[DOI]

Proceedings of the EACL 2012, 2012

2011

Functional un|unparsing.

[BibT_eX]

[DOI]

Kenichi Asai

High. Order Symb. Comput., 2011

Shifting the stage - Staging with delimited control.

[BibT_eX]

[DOI]

J. Funct. Program., 2011

Purely functional lazy nondeterministic programming.

[BibT_eX]

[DOI]

Sebastian Fischer

J. Funct. Program., 2011

2010

The case for JavaScript transactions: position paper.

[BibT_eX]

[DOI]

Mohan Dhawan

Vinod Ganapathy

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

Fun with Type Functions.

[BibT_eX]

[DOI]

Simon Peyton Jones

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.

[BibT_eX]

[DOI]

Jacques Carette

J. Funct. Program., 2009

Monolingual Probabilistic Programming Using Generalized Coroutines.

[BibT_eX]

[DOI]

Proceedings of the UAI 2009, 2009

Purely functional lazy non-deterministic programming.

[BibT_eX]

[DOI]

Sebastian Fischer

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Embedded Probabilistic Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Olivier Danvy

Ian Zerny

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Closing the stage: from staged code to typed closures.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Lightweight monadic regions.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

A static simulation of dynamic delimited control.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2007

A Substructural Type System for Delimited Continuations.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Boosting Optimal Logical Patterns Using Noisy Data.

[BibT_eX]

[DOI]

Noam Goldberg

Proceedings of the Seventh SIAM International Conference on Data Mining, 2007

Inverse Scope as Metalinguistic Quotation in Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2007

Delimited Continuations in Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2007

Finally Tagless, Partially Evaluated.

[BibT_eX]

[DOI]

Jacques Carette

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

On the static and dynamic extents of delimited continuations.

[BibT_eX]

[DOI]

Dariusz Biernacki

Olivier Danvy

Sci. Comput. Program., 2006

A Modal Interpretation of the Logic of Interrogation.

[BibT_eX]

[DOI]

Rani Nelken

J. Log. Lang. Inf., 2006

Types as Graphs: Continuations in Type Logical Grammar.

[BibT_eX]

[DOI]

Chris Barker

J. Log. Lang. Inf., 2006

Lightweight Static Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages meets Program Verification, 2006

Delimited dynamic binding.

[BibT_eX]

[DOI]

Amr Sabry

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

On the dynamic extent of delimited continuations.

[BibT_eX]

[DOI]

Dariusz Biernacki

Olivier Danvy

Inf. Process. Lett., 2005

Backtracking, interleaving, and terminating monad transformers: (functional pearl).

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Sexy types in action.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2004

Delimited continuations in natural language: quantification and polarity sensitivity

[BibT_eX]

[DOI]

CoRR, 2004

Polarity Sensitivity and Evaluation Order in Type-Logical Grammar.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

2002

The partition semantics of questions, syntactically

[BibT_eX]

[DOI]

Balder ten Cate

CoRR, 2002

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

[BibT_eX]

[DOI]

CoRR, 2002

A variable-free dynamic semantics

[BibT_eX]

[DOI]

CoRR, 2002

Monads for natural language semantics

[BibT_eX]

[DOI]

CoRR, 2002

Question Answering: From Partitions to Prolog.

[BibT_eX]

[DOI]

Balder ten Cate