Algebraic Effects and Handlers in Natural Language Interpretation
Files
-
The grammar from the paper (dynamic logic + extraction as an effect) implemented as a library an Eff with a tiny suite of examples.
-
The preprint of the paper, as was submitted to NLCS’14.
-
Slides for my presentation given at NLCS’14.
-
Poster for the LCT 2014 meeting.
Write-up (unfinished)
A prequel to the paper that motivates an effects-first view of de Groote’s continuation-based dynamic logic. This includes a refactoring of continuation-based dynamic logic in terms of monads which can be seen as a first step towards the transition to effects and handlers.