J Carette, O Kiselyov, C Shan

Programming Languages and Systems, 222-238, 2007

M Baroni, R Bernardi, NQ Do, C Shan

Proceedings of the 13th Conference of the European Chapter of the …, 2012

C Barker, C Shan

Oxford University Press, USA, 2014

O Kiselyov, C Shan, DP Friedman, A Sabry

ACM SIGPLAN Notices 40 (9), 192-203, 2005

C Shan, C Barker

Linguistics and Philosophy 29 (1), 91-134, 2006

P Narayanan, J Carette, W Romano, C Shan, R Zinkov

Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016

C Barker, C Shan

Semantics and Pragmatics 1, 1: 1-46, 2008

O Kiselyov, C Shan

IFIP Working Conference on Domain-Specific Languages, 360-384, 2009

C Shan

Semantics and linguistic theory, 289-304, 2004

C Shan

arXiv preprint cs/0205026, 2002

O Kiselyov, C Shan, A Sabry

ACM SIGPLAN Notices 41 (9), 26-37, 2006

C Shan

Harvard University, 2005

C Shan

Linguistics and Philosophy 33, 417-443, 2010

Y Kameyama, O Kiselyov, C Shan

Proceedings of the 2009 ACM SIGPLAN workshop on Partial Evaluation and …, 2009

C Shan, N Ramsey

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017

R Karim, M Dhawan, V Ganapathy, C Shan

ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012

C Shan

Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004

O Kiselyov, SP Jones, C Shan

Reflections on the Work of CAR Hoare, 301-331, 2010

C Barker, C Shan

Journal of Logic, Language and Information 15, 331-370, 2006

C Shan

Higher-order and symbolic computation 20 (4), 371-401, 2007