Follow
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
317*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
2662012
Continuations and natural language
C Barker, C Shan
Oxford Studies in Theoretical, 2014
1472014
Explaining crossover and superiority as left-to-right evaluation
C Shan, C Barker
Linguistics and Philosophy 29 (1), 91-134, 2006
1382006
Backtracking, interleaving, and terminating monad transformers: (functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1362005
Embedded probabilistic programming
O Kiselyov, C Shan
IFIP Working Conference on Domain-Specific Languages, 360-384, 2009
1312009
Donkey anaphora is in-scope binding
C Barker, C Shan
Semantics and Pragmatics 1, 1-1-46, 2008
1252008
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
1122016
Binding alongside Hamblin alternatives calls for variable-free semantics
C Shan
Semantics and Linguistic Theory 14, 289-304, 2004
932004
Delimited dynamic binding
O Kiselyov, C Shan, A Sabry
ACM SIGPLAN Notices 41 (9), 26-37, 2006
882006
Monads for natural language semantics
C Shan
arXiv preprint cs/0205026, 2002
852002
Linguistic side effects
C Shan
Harvard University, 2005
722005
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
642009
The character of quotation
C Shan
Linguistics and Philosophy 33 (5), 417-443, 2010
602010
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
552012
Shift to control
C Shan
Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004
542004
Fun with type functions
O Kiselyov, SP Jones, C Shan
Reflections on the Work of CAR Hoare, 301-331, 2010
522010
Types as graphs: Continuations in type logical grammar
C Barker, C Shan
Journal of Logic, Language and Information 15 (4), 331-370, 2006
522006
On the dynamic extent of delimited continuations
D Biernacki, O Danvy, C Shan
Information processing letters 96 (1), 7-17, 2005
51*2005
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