Continuations and the nature of quantification, Natural Language Semantics, vol.10, issue.3, pp.211-242, 2002. ,
DOI : 10.1023/A:1022183511876
Programming with algebraic effects and handlers, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, pp.108-123, 2015. ,
DOI : 10.1016/j.jlamp.2014.02.001
Programming and reasoning with algebraic effects and dependent types, In: ACM SIGPLAN Notices, 2013. ,
On the semantics of exceptional scope, 2014. ,
Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, 2001. ,
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529
Type raising, continuations, and classical logic, Proceedings of the thirteenth Amsterdam Colloquium, 2001. ,
Towards a montagovian account of dynamics, Proceedings of SALT, 2006. ,
Natural language semantics with enriched meanings, 2015. ,
On Logical Relations and Conservativity, NLCS'15. Third Workshop on Natural Language and Computer Science, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01188619
Making computational sense of Montague's intensional logic, Artificial Intelligence, vol.9, issue.3, pp.287-306, 1977. ,
DOI : 10.1016/0004-3702(77)90025-X
Handlers in action, In: ACM SIGPLAN Notices, 2013. ,
From discourse to logic, 1993. ,
Applicative abstract categorial grammars, Proceedings of the Third Workshop on Natural Language and Computer Science, 2015. ,
Extensible effects, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13, 2013. ,
DOI : 10.1145/2503778.2503791
Lambda: the ultimate syntax-semantics interface, 2010. ,
Combinatory reduction systems: introduction and survey, Theoretical computer science, 1993. ,
DOI : 10.1016/0304-3975(93)90091-7
Term rewriting systems. Handbook of logic in computer science, pp.1-116, 1992. ,
Expression de la dynamique du discoursàdiscours`discoursà l'aide de continuations, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00783245
Algebraic Effects and Handlers in Natural Language Interpretation, In: Natural Language and Computer Science, 2014. ,
Functional programming with bananas, lenses, envelopes and barbed wire, In: Functional Programming Languages and Computer Architecture, 1991. ,
DOI : 10.1007/3540543961_7
Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-92, 1991. ,
DOI : 10.1016/0890-5401(91)90052-4
Handlers of Algebraic Effects, Programming Languages and Systems, pp.80-94, 2009. ,
DOI : 10.1007/978-3-642-00590-9_7
The logic of conventional implicatures, 2005. ,
Logic and handling of algebraic effects, 2010. ,
Event in Compositional Dynamic Semantics, Logical Aspects of Computational Linguistics, 2011. ,
DOI : 10.1007/978-3-642-22221-4_15
URL : https://hal.archives-ouvertes.fr/hal-00601620
Monads for natural language semantics, p.205026, 2002. ,
Linguistic side effects, 2005. ,
Computational semantics with functional programming, 2010. ,
DOI : 10.1017/CBO9780511778377
URL : https://hal.archives-ouvertes.fr/inria-00535867
The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, 1992. ,
DOI : 10.1145/143165.143169