Chung-chieh Shan
Chung-chieh Shan
Indiana University
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
290*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
2372012
Explaining crossover and superiority as left-to-right evaluation
C Shan, C Barker
Linguistics and Philosophy 29 (1), 91-134, 2006
1262006
Embedded probabilistic programming
O Kiselyov, C Shan
IFIP Working Conference on Domain-Specific Languages, 360-384, 2009
1252009
Backtracking, interleaving, and terminating monad transformers: (functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1232005
Continuations and natural language
C Barker, C Shan
OUP Oxford, 2014
1182014
Donkey anaphora is in-scope binding
C Barker, C Shan
Semantics and Pragmatics 1, 1-1-46, 2008
1082008
Binding alongside Hamblin alternatives calls for variable-free semantics
C Shan
Semantics and Linguistic Theory 14, 289-304, 2004
842004
Delimited dynamic binding
O Kiselyov, C Shan, A Sabry
ACM SIGPLAN Notices 41 (9), 26-37, 2006
772006
Monads for natural language semantics
C Shan
arXiv preprint cs/0205026, 2002
762002
Probabilistic inference by program transformation in Hakaru (system description)
P Narayanan, J Carette, W Romano, C Shan, R Zinkov
International Symposium on Functional and Logic Programming, 62-79, 2016
752016
Linguistic side effects
C Shan
Harvard University, 2005
682005
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
562009
The character of quotation
C Shan
Linguistics and Philosophy 33 (5), 417-443, 2010
552010
An analysis of the mozilla jetpack extension framework
R Karim, M Dhawan, V Ganapathy, C Shan
European Conference on Object-Oriented Programming, 333-355, 2012
532012
Shift to control
C Shan
Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004
522004
Types as graphs: Continuations in type logical grammar
C Barker, C Shan
Journal of Logic, Language and Information 15 (4), 331-370, 2006
502006
On the dynamic extent of delimited continuations
D Biernacki, O Danvy, C Shan
Information processing letters 96 (1), 7-17, 2005
47*2005
Purely functional lazy non-deterministic programming
S Fischer, O Kiselyov, C Shan
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
452009
Fun with type functions
O Kiselyov, SP Jones, C Shan
Reflections on the Work of CAR Hoare, 301-331, 2010
442010
The system can't perform the operation now. Try again later.
Articles 1–20