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
277*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
2152012
Explaining crossover and superiority as left-to-right evaluation
C Shan, C Barker
Linguistics and Philosophy 29 (1), 91-134, 2006
1232006
Embedded probabilistic programming
O Kiselyov, CC Shan
IFIP Working Conference on Domain-Specific Languages, 360-384, 2009
1192009
Backtracking, interleaving, and terminating monad transformers: (functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1172005
Continuations and natural language
C Barker, C Shan
Oxford studies in theoretical linguistics, 2014
1112014
Donkey anaphora is in-scope binding
C Barker, C Shan
Semantics and Pragmatics 1, 1-1-46, 2008
1072008
Binding alongside Hamblin alternatives calls for variable-free semantics
C Shan
Semantics and Linguistic Theory 14, 289-304, 2004
782004
Delimited dynamic binding
O Kiselyov, C Shan, A Sabry
ACM SIGPLAN Notices 41 (9), 26-37, 2006
752006
Monads for natural language semantics
C Shan
arXiv preprint cs/0205026, 2002
732002
Linguistic side effects
C Shan
Harvard University, 2005
642005
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
622016
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
552009
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
522012
Types as graphs: Continuations in type logical grammar
C Barker, C Shan
Journal of Logic, Language and Information 15 (4), 331-370, 2006
522006
Shift to control
C Shan
Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004
512004
On the dynamic extent of delimited continuations
D Biernacki, O Danvy, C Shan
Information processing letters 96 (1), 7-17, 2005
47*2005
The character of quotation
C Shan
Linguistics and Philosophy 33 (5), 417-443, 2010
462010
Purely functional lazy non-deterministic programming
S Fischer, O Kiselyov, C Shan
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
442009
Functional pearl: implicit configurations--or, type classes reflect the values of types
O Kiselyov, C Shan
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 33-44, 2004
432004
The system can't perform the operation now. Try again later.
Articles 1–20