| Finally tagless, partially evaluated J Carette, O Kiselyov, C Shan Programming Languages and Systems, 222-238, 2007 | 406* | 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 | 301 | 2012 |
| Continuations and natural language C Barker, C Shan Oxford University Press, 2014 | 264 | 2014 |
| 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 | 185 | 2016 |
| Backtracking, interleaving, and terminating monad transformers: (functional pearl) O Kiselyov, C Shan, DP Friedman, A Sabry ACM SIGPLAN Notices 40 (9), 192-203, 2005 | 175 | 2005 |
| Explaining crossover and superiority as left-to-right evaluation C Shan, C Barker Linguistics and Philosophy 29 (1), 91-134, 2006 | 157 | 2006 |
| Donkey anaphora is in-scope binding C Barker, C Shan Semantics and Pragmatics 1, 1: 1-46, 2008 | 141 | 2008 |
| Embedded probabilistic programming O Kiselyov, C Shan IFIP Working Conference on Domain-Specific Languages, 360-384, 2009 | 135 | 2009 |
| Binding alongside Hamblin alternatives calls for variable-free semantics C Shan Semantics and linguistic theory, 289-304, 2004 | 103 | 2004 |
| Delimited dynamic binding O Kiselyov, C Shan, A Sabry ACM SIGPLAN Notices 41 (9), 26-37, 2006 | 96 | 2006 |
| Monads for natural language semantics C Shan arXiv preprint cs/0205026, 2002 | 95 | 2002 |
| Linguistic side effects C Shan Harvard University, 2005 | 80 | 2005 |
| The character of quotation C Shan Linguistics and Philosophy 33 (5), 417-443, 2010 | 72 | 2010 |
| Exact Bayesian inference by symbolic disintegration C Shan, N Ramsey Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 66 | 2017 |
| Shift to control C Shan Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004 | 59 | 2004 |
| 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 | 56 | 2012 |
| Fun with type functions O Kiselyov, SP Jones, C Shan Reflections on the Work of CAR Hoare, 301-331, 2010 | 56 | 2010 |
| A static simulation of dynamic delimited control C Shan Higher-order and symbolic computation 20 (4), 371-401, 2007 | 53 | 2007 |
| Types as graphs: Continuations in type logical grammar C Barker, C Shan Journal of Logic, Language and Information 15 (4), 331-370, 2006 | 53 | 2006 |
| Purely functional lazy non-deterministic programming S Fischer, O Kiselyov, C Shan Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009 | 50 | 2009 |
Chris BarkerProfessor of Linguistics, NYUVerified email at nyu.edu
