C. Barker, Continuations and the nature of quantification Natural language semantics, pp.211-2421022183511876, 2002.

A. Bauer and M. Pretnar, Programming with algebraic effects and handlers. arXiv preprint arXiv:1203

C. Blom, P. De-groote, Y. Winter, and J. Zwarts, Implicit arguments: event modification or option type categories? In Logic, Language and Meaning, pp.240-250978, 2012.

R. Cartwright and M. Felleisen, Extensible denotational language specifications, Theoretical Aspects of Computer Software, pp.244-272, 1994.
DOI : 10.1007/3-540-57887-0_99

S. Chung, Monads for natural language semantics. arXiv preprint cs/0205026, 2002.

P. De and G. , Towards a montagovian account of dy- namics, Proceedings of SALT, 2006.

J. Gosling, The Java language specification, 2000.

M. Hyland and J. Power, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Electronic Notes in Theoretical Computer Science, vol.172, pp.437-458, 2007.
DOI : 10.1016/j.entcs.2007.02.019

O. Kammar, S. Lindley, and N. Oury, Handlers in action, Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, pp.145-158, 2013.

H. Kamp and U. Reyle, From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Number 42, 1993.

M. Kanazawa, Parsing and generation as datalog queries, Annual Meeting- Association for Computational Linguistics, p.176, 2007.

O. Kiselyov, Call-by-name linguistic side effects, ESSLLI 2008 Workshop on Symmetric calculi and Ludics for the semantic interpretation, 2008.

O. Kiselyov, A. Sabry, and C. Swords, Extensible effects, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13, pp.59-70, 2013.
DOI : 10.1145/2503778.2503791

E. Lebedeva, Expression de la dynamique du discoursàdiscours`discoursà l'aide de continuations, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00783245

E. Moggi, Notions of computation and monads. Information and computation, pp.55-920890, 1991.

G. Plotkin and M. Pretnar, Handlers of Algebraic Effects, Programming Languages and Systems, pp.80-94, 2009.
DOI : 10.1007/978-3-642-00590-9_7

S. Pogodalla and F. Pompigne, Controlling Extraction in Abstract Categorial Grammars, Formal Grammar, pp.978-981, 2012.
DOI : 10.1007/978-3-642-32024-8_11
URL : https://hal.archives-ouvertes.fr/inria-00565629

M. Pretnar, Logic and handling of algebraic effects URL http://matija.pretnar.info/pdf/the-logic-and-handling-of-algebraic-effects, 2010.

S. Qian and M. Amblard, Event in compositional dynamic se- mantics