default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChung-chieh Shan
Person information
- affiliation: Harvard University, Cambridge, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j16]David Chiang
, Colin McDonald, Chung-chieh Shan:
Exact Recursive Probabilistic Programming. Proc. ACM Program. Lang. 7(OOPSLA1): 665-695 (2023)- 2022
- [j15]Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt:
Sham: A DSL for Fast DSLs. Art Sci. Eng. Program. 6(1): 4 (2022) - [i14]David Chiang, Colin McDonald, Chung-chieh Shan:
Exact Recursive Probabilistic Programming. CoRR abs/2210.01206 (2022) - 2020
- [j14]Praveen Narayanan, Chung-chieh Shan:
Symbolic Disintegration with a Variety of Base Measures. ACM Trans. Program. Lang. Syst. 42(2): 9:1-9:60 (2020) - [i13]Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt:
Sham: A DSL for Fast DSLs. CoRR abs/2005.09028 (2020) - [i12]David Chiang, Chung-chieh Shan:
Translating Recursive Probabilistic Programs to Factor Graph Grammars. CoRR abs/2010.12071 (2020)
2010 – 2019
- 2019
- [j13]Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan:
From high-level inference algorithms to efficient code. Proc. ACM Program. Lang. 3(ICFP): 98:1-98:30 (2019) - 2018
- [c32]Chung-chieh Shan:
Calculating Distributions. PPDP 2018: 2:1-2:5 - [i11]Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt:
Efficient compilation of array probabilistic programs. CoRR abs/1805.06562 (2018) - 2017
- [j12]Praveen Narayanan, Chung-chieh Shan:
Symbolic conditioning of arrays in probabilistic programs. Proc. ACM Program. Lang. 1(ICFP): 11:1-11:25 (2017) - [c31]Chung-chieh Shan, Norman Ramsey:
Exact Bayesian inference by symbolic disintegration. POPL 2017: 130-144 - [c30]Robert Zinkov, Chung-chieh Shan:
Composing Inference Algorithms as Program Transformations. UAI 2017 - 2016
- [c29]Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov:
Probabilistic Inference by Program Transformation in Hakaru (System Description). FLOPS 2016: 62-79 - [c28]Wazim Mohammed Ismail, Chung-chieh Shan:
Deriving a probability density calculator (functional pearl). ICFP 2016: 47-59 - [c27]Jacques Carette, Chung-chieh Shan:
Simplifying Probabilistic Programs Using Computer Algebra. PADL 2016: 135-152 - [i10]Robert Zinkov, Chung-chieh Shan:
Composing inference algorithms as program transformations. CoRR abs/1603.01882 (2016) - 2015
- [j11]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. Sci. Comput. Program. 112: 120-144 (2015) - 2014
- [b1]Chris Barker, Chung-chieh Shan:
Continuations and Natural Language. Oxford Studies in Theoretical Linguistics 53, Oxford University Press 2014, ISBN 978-0-19-957502-2, pp. I-XIX, 1-228 - [c26]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. PEPM 2014: 3-14 - 2013
- [c25]John Tracy Hale, Richard L. Lewis, David Reitter, Chung-chieh Shan, Sashank Varma:
Integrating Language and Cognitive Architecture. AAAI Fall Symposia 2013 - [c24]Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shonan challenge for generative programming: short position paper. PEPM 2013: 147-154 - [e3]Chung-chieh Shan:
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Lecture Notes in Computer Science 8301, Springer 2013, ISBN 978-3-319-03541-3 [contents] - [e2]Chung-chieh Shan:
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013. ACM 2013, ISBN 978-1-4503-2383-3 [contents] - 2012
- [c23]Marco Baroni, Raffaella Bernardi, Ngoc-Quynh Do, Chung-chieh Shan:
Entailment above the word level in distributional semantics. EACL 2012: 23-32 - [c22]Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan:
An Analysis of the Mozilla Jetpack Extension Framework. ECOOP 2012: 333-355 - [c21]Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy:
Enhancing JavaScript with Transactions. ECOOP 2012: 383-408 - [i9]Oleg Kiselyov, Chung-chieh Shan:
Monolingual Probabilistic Programming Using Generalized Coroutines. CoRR abs/1205.2636 (2012) - [i8]Oleg Kiselyov, Chung-chieh Shan, Yukiyoshi Kameyama:
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [j10]Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
Purely functional lazy nondeterministic programming. J. Funct. Program. 21(4-5): 413-465 (2011) - [j9]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage - Staging with delimited control. J. Funct. Program. 21(6): 617-662 (2011) - [j8]Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan:
Functional un|unparsing. High. Order Symb. Comput. 24(4): 311-340 (2011) - [e1]Olivier Danvy, Chung-chieh Shan:
Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011. EPTCS 66, 2011 [contents] - 2010
- [c20]Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy:
The case for JavaScript transactions: position paper. PLAS 2010: 6 - [p1]Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan:
Fun with Type Functions. Reflections on the Work of C. A. R. Hoare 2010: 301-331
2000 – 2009
- 2009
- [j7]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5): 509-543 (2009) - [c19]Olivier Danvy, Chung-chieh Shan, Ian Zerny:
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. DSL 2009: 1-19 - [c18]Oleg Kiselyov, Chung-chieh Shan:
Embedded Probabilistic Programming. DSL 2009: 360-384 - [c17]Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
Purely functional lazy non-deterministic programming. ICFP 2009: 11-22 - [c16]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage: staging with delimited control. PEPM 2009: 111-120 - [c15]Oleg Kiselyov, Chung-chieh Shan:
Monolingual Probabilistic Programming Using Generalized Coroutines. UAI 2009: 285-292 - 2008
- [c14]Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan:
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80 - [c13]Oleg Kiselyov, Chung-chieh Shan:
Lightweight monadic regions. Haskell 2008: 1-12 - [c12]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Closing the stage: from staged code to typed closures. PEPM 2008: 147-157 - 2007
- [j6]Chung-chieh Shan:
A static simulation of dynamic delimited control. High. Order Symb. Comput. 20(4): 371-401 (2007) - [c11]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
Finally Tagless, Partially Evaluated. APLAS 2007: 222-238 - [c10]Oleg Kiselyov, Chung-chieh Shan:
Delimited Continuations in Operating Systems. CONTEXT 2007: 291-302 - [c9]Chung-chieh Shan:
Inverse Scope as Metalinguistic Quotation in Operational Semantics. JSAI 2007: 123-134 - [c8]Noam Goldberg, Chung-chieh Shan:
Boosting Optimal Logical Patterns Using Noisy Data. SDM 2007: 228-236 - [c7]Oleg Kiselyov, Chung-chieh Shan:
A Substructural Type System for Delimited Continuations. TLCA 2007: 223-239 - 2006
- [j5]Rani Nelken, Chung-chieh Shan:
A Modal Interpretation of the Logic of Interrogation. J. Log. Lang. Inf. 15(3): 251-271 (2006) - [j4]Chris Barker, Chung-chieh Shan:
Types as Graphs: Continuations in Type Logical Grammar. J. Log. Lang. Inf. 15(4): 331-370 (2006) - [j3]Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan:
On the static and dynamic extents of delimited continuations. Sci. Comput. Program. 60(3): 274-297 (2006) - [c6]Oleg Kiselyov, Chung-chieh Shan, Amr Sabry:
Delimited dynamic binding. ICFP 2006: 26-37 - [c5]Oleg Kiselyov, Chung-chieh Shan:
Lightweight Static Capabilities. PLPV@IJCAR 2006: 79-104 - 2005
- [j2]Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan:
On the dynamic extent of delimited continuations. Inf. Process. Lett. 96(1): 7-17 (2005) - [c4]Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry:
Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203 - 2004
- [j1]Chung-chieh Shan:
Sexy types in action. ACM SIGPLAN Notices 39(5): 15-22 (2004) - [c3]Oleg Kiselyov, Chung-chieh Shan:
Functional pearl: implicit configurations-or, type classes reflect the values of types. Haskell 2004: 33-44 - [c2]Chung-chieh Shan:
Polarity Sensitivity and Evaluation Order in Type-Logical Grammar. HLT-NAACL (Short Papers) 2004 - [i7]Chung-chieh Shan:
Delimited continuations in natural language: quantification and polarity sensitivity. CoRR cs.CL/0404006 (2004) - [i6]Chung-chieh Shan:
Polarity sensitivity and evaluation order in type-logical grammar. CoRR cs.CL/0404007 (2004) - 2002
- [c1]Balder ten Cate, Chung-chieh Shan:
Question Answering: From Partitions to Prolog. TABLEAUX 2002: 251-265 - [i5]Chung-chieh Shan:
Monads for natural language semantics. CoRR cs.CL/0205026 (2002) - [i4]Chung-chieh Shan:
A variable-free dynamic semantics. CoRR cs.CL/0205027 (2002) - [i3]Chung-chieh Shan:
A continuation semantics of interrogatives that accounts for Baker's ambiguity. CoRR cs.CL/0207070 (2002) - [i2]Chung-chieh Shan, Balder ten Cate:
The partition semantics of questions, syntactically. CoRR cs.CL/0209008 (2002) - [i1]Balder ten Cate, Chung-chieh Shan:
Question answering: from partitions to Prolog. CoRR cs.CL/0209009 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
