52 Publications (Page 1 of 3)
2020
Sham: A DSL for Fast DSLs
Walia, Rajan⋅Shan, Chung Chieh and Tobin-Hochstadt, Sam
2020-05-18. | Journal Article
2019
From high-level inference algorithms to efficient code
Walia, Rajan⋅Walia, Rajan⋅Narayanan, Praveen⋅Narayanan, Praveen⋅Carette, Jacques⋅Carette, Jacques⋅Tobin-Hochstadt, Sam⋅Tobin Hochstadt, Sam⋅Shan, Chung-chieh and Shan, Chung Chieh
Proceedings of the ACM on Programming Languages, vol. 3, (no. ICFP), pp. 30, 2019-07-26. | Journal Article
2018
From high-level inference algorithms to efficient code
Walia, Rajan⋅Walia, Rajan⋅Narayanan, Praveen⋅Narayanan, Praveen⋅Carette, Jacques⋅Carette, Jacques⋅Tobin-Hochstadt, Sam⋅Tobin Hochstadt, Sam⋅Shan, Chung-chieh and Shan, Chung Chieh
2018-05-16. | Journal Article
2017
Exact Bayesian inference by symbolic disintegration
Shan, Chung Chieh and Ramsey, Norman
ACM SIGPLAN Notices, vol. 52, (no. 1), pp. 144, 2017-01-01. | Journal Article
 
Symbolic conditioning of arrays in probabilistic programs
Narayanan, Praveen and Shan, Chung Chieh
Proceedings of the ACM on Programming Languages, vol. 1, (no. ICFP), pp. 25, 08-29-2017. | Journal Article
2016
Composing inference algorithms as program transformations
Zinkov, Robert and Shan, Chung Chieh
2016-03-06. | Journal Article
 
Deriving a probability density calculator (functional pearl)
Mohammed Ismail, Wazim and Shan, Chung Chieh
ACM SIGPLAN Notices, vol. 51, (no. 9), pp. 59, 2016-09-04. | Journal Article
2015
A Continuation Semantics of Interrogatives That Accounts for Baker's Ambiguity
Shan, Chung Chieh
Semantics and Linguistic Theory, pp. 246, 2015-04-03. | Journal Article
 
A Logic of Interrogation Should Be Internalized in a Modal Logic for Knowledge
Nelken, Rani and Shan, Chung Chieh
Semantics and Linguistic Theory, pp. 197, 2015-04-03. | Journal Article
 
Binding Alongside Hamblin Alternatives Calls for Variable-free Semantics
Shan, Chung Chieh
Semantics and Linguistic Theory, pp. 289, 2015-04-03. | Journal Article
 
Characterizing Quotation
Shan, Chung Chieh
Semantics and Linguistic Theory, pp. 413, 2015-04-03. | Journal Article
 
Combinators for impure yet hygienic code generation
Kameyama, Yukiyoshi⋅Kiselyov, Oleg and Shan, Chung Chieh
Science of Computer Programming, vol. 112, pp. 144, 2015-11-15. | Journal Article
 
Principles of interdimensional meaning interaction
Barker, Chris⋅Bernardi, Raffaella and Shan, Chung Chieh
Semantics and Linguistic Theory, (no. 20), pp. 109, 2015-04-03. | Journal Article
2012
Monolingual Probabilistic Programming Using Generalized Coroutines
Kiselyov, Oleg and Shan, Chung Chieh
2012-05-09. | Journal Article
2011
Functional un|unparsing
Asai, Kenichi⋅Kiselyov, Oleg and Shan, Chung Chieh
Higher-Order and Symbolic Computation, vol. 24, (no. 4), pp. 340, 20111100. | Journal Article
 
Proceedings IFIP Working Conference on Domain-Specific Languages
Danvy, Olivier and Shan, Chung Chieh
Electronic Proceedings in Theoretical Computer Science, vol. 66, 2011-09-01. | Journal Article
 
Purely functional lazy nondeterministic programming
FISCHER, SEBASTIAN⋅FISCHER, SEBASTIAN⋅KISELYOV, OLEG⋅KISELYOV, OLEG⋅Shan, Chung Chieh and Shan, Chung Chieh
Journal of Functional Programming, vol. 21, (no. 4-5), pp. 465, 20110901. | Journal Article
 
Shifting the stage Staging with delimited control
Kameyama, Yukiyoshi⋅Kiselyov, Oleg and Shan, Chung Chieh
Journal of functional programming, vol. 21, (no. 6), pp. 662, 2011-11-01. | Journal Article
2010
Principles of interdimensional meaning interaction
Barker, Chris⋅Barker, Chris⋅Bernardi, Raffaella⋅Bernardi, Raffaella⋅Shan, Chung Chieh and Shan, Chung Chieh
Semantics and Linguistic Theory, vol. 20, pp. 109, 2010-08-14. | Journal Article
 
The character of quotation
Shan, Chung Chieh and Shan, Chung Chieh
Linguistics and Philosophy, vol. 33, (no. 5), pp. 443, 20100101. | Journal Article
 
Typed metaprogramming with effects
Shan, Chung Chieh
Electronic Proceedings in Theoretical Computer Science, vol. 34, pp. 1, 2010-09-11. | Journal Article
2009
Characterizing Quotation
Shan, Chung Chieh
Semantics and Linguistic Theory, vol. 19, pp. 413, 2009-09-03. | Journal Article
 
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
CARETTE, JACQUES⋅Carette, Jacques⋅KISELYOV, OLEG⋅KISELYOV, OLEG⋅Shan, Chung Chieh and Shan, Chung Chieh
Journal of Functional Programming, vol. 19, (no. 5), pp. 543, 20090901. | Journal Article
 
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations
Danvy, Olivier⋅Shan, Chung Chieh and Zerny, Ian Steven
pp. 19, 2009-01-01. | Journal Article
 
Lightweight monadic regions
Kiselyov, Oleg and Shan, Chung Chieh
ACM SIGPLAN Notices, vol. 44, (no. 2), pp. 1, 2009-01-28. | Journal Article