Folgen
Chung-chieh Shan
Chung-chieh Shan
Indiana University
Bestätigte E-Mail-Adresse bei indiana.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Finally tagless, partially evaluated
J Carette, O Kiselyov, C Shan
Programming Languages and Systems, 222-238, 2007
387*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
2892012
Continuations and natural language
C Barker, C Shan
OUP Oxford, 2014
2592014
Backtracking, interleaving, and terminating monad transformers: (functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1612005
Probabilistic inference by program transformation in Hakaru (system description)
P Narayanan, J Carette, W Romano, C Shan, R Zinkov
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
1602016
Explaining crossover and superiority as left-to-right evaluation
C Shan, C Barker
Linguistics and Philosophy 29 (1), 91-134, 2006
1522006
Donkey anaphora is in-scope binding
C Barker, C Shan
Semantics and Pragmatics 1, 1: 1-46, 2008
1382008
Embedded probabilistic programming
O Kiselyov, C Shan
IFIP Working Conference on Domain-Specific Languages, 360-384, 2009
1302009
Binding alongside Hamblin alternatives calls for variable-free semantics
C Shan
Semantics and linguistic theory, 289-304, 2004
982004
Monads for natural language semantics
C Shan
arXiv preprint cs/0205026, 2002
962002
Delimited dynamic binding
O Kiselyov, C Shan, A Sabry
ACM SIGPLAN Notices 41 (9), 26-37, 2006
912006
Linguistic side effects
C Shan
Harvard University, 2005
792005
The character of quotation
C Shan
Linguistics and Philosophy 33, 417-443, 2010
712010
Exact Bayesian inference by symbolic disintegration
C Shan, N Ramsey
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
612017
An analysis of the mozilla jetpack extension framework
R Karim, M Dhawan, V Ganapathy, C Shan
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
582012
Shift to control
C Shan
Proceedings of the 5th workshop on Scheme and Functional Programming, 99-107, 2004
572004
Fun with type functions
O Kiselyov, SP Jones, C Shan
Reflections on the Work of CAR Hoare, 301-331, 2010
552010
Types as graphs: Continuations in type logical grammar
C Barker, C Shan
Journal of Logic, Language and Information 15, 331-370, 2006
552006
A static simulation of dynamic delimited control
C Shan
Higher-order and symbolic computation 20 (4), 371-401, 2007
512007
Purely functional lazy non-deterministic programming
S Fischer, O Kiselyov, C Shan
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
492009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20