Follow
Chung-chieh Shan
Chung-chieh Shan
Verified email at indiana.edu - Homepage
Title
Cited by
Cited by
Year
Finally tagless, partially evaluated
J Carette, O Kiselyov, C Shan
Programming Languages and Systems, 222-238, 2007
378*2007
Entailment above the word level in distributional semantics
M Baroni, R Bernardi, NQ Do, C Shan
Proceedings of the 13th Conference of the European Chapter of the …, 2012
2852012
Continuations and natural language
C Barker, C Shan
Oxford University Press, USA, 2014
2572014
Backtracking, interleaving, and terminating monad transformers: (functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1582005
Probabilistic inference by program transformation in Hakaru (system description)
P Narayanan, J Carette, W Romano, C Shan, R Zinkov
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
1542016
Explaining crossover and superiority as left-to-right evaluation
C Shan, C Barker
Linguistics and Philosophy 29 (1), 91-134, 2006
1502006
Donkey anaphora is in-scope binding
C Barker, C Shan
Semantics and Pragmatics 1, 1: 1-46, 2008
1342008
Embedded probabilistic programming
O Kiselyov, C Shan
IFIP Working Conference on Domain-Specific Languages, 360-384, 2009
1322009
Binding alongside Hamblin alternatives calls for variable-free semantics
C Shan
Semantics and linguistic theory, 289-304, 2004
1002004
Monads for natural language semantics
C Shan
arXiv preprint cs/0205026, 2002
932002
Delimited dynamic binding
O Kiselyov, C Shan, A Sabry
ACM SIGPLAN Notices 41 (9), 26-37, 2006
912006
Linguistic side effects
C Shan
Harvard University, 2005
782005
The character of quotation
C Shan
Linguistics and Philosophy 33, 417-443, 2010
722010
Shifting the stage: staging with delimited control
Y Kameyama, O Kiselyov, C Shan
Proceedings of the 2009 ACM SIGPLAN workshop on Partial Evaluation and …, 2009
672009
Exact Bayesian inference by symbolic disintegration
C Shan, N Ramsey
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
592017
An analysis of the mozilla jetpack extension framework
R Karim, M Dhawan, V Ganapathy, C Shan
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
562012
Shift to control
C Shan
Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004
562004
Fun with type functions
O Kiselyov, SP Jones, C Shan
Reflections on the Work of CAR Hoare, 301-331, 2010
532010
Types as graphs: Continuations in type logical grammar
C Barker, C Shan
Journal of Logic, Language and Information 15, 331-370, 2006
522006
A static simulation of dynamic delimited control
C Shan
Higher-order and symbolic computation 20 (4), 371-401, 2007
502007
The system can't perform the operation now. Try again later.
Articles 1–20