This working paper introduces CONTINUATIONS (a concept borrowed from computer science) as a new technique for characterizing certain aspects of the semantics of a natural language. I should emphasize at the outset that this is just an introduction, and that more a rigorous and thorough treatment is under development (see Barker (ms)). In the meantime, this paper mentions certain formal results without proving them, and describes certain new empirical generalizations without exploring them. What it will do is provide an explicit account of a range of familiar phenomena related to quantification, including quantifier scope ambiguity, NP as a scope island, and generalized coordination. What makes the account noteworthy is that it provides a f...
We give an abstract categorical presentation of continuation semantics by taking the continuation ty...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with use...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with use...
This paper proposes that the meanings of some natural language expressions should be thought of as f...
Synopsis: The continuation of an expression is a portion of its sur-rounding context. This book prop...
Abstract. We present a directly compositional and type-directed anal-ysis of quantifier ambiguity, s...
Laboratory for Foundations of Computer ScienceThis thesis attempts to make precise the structure inh...
International audienceResearch questions • How can all the components of a theory of presupposition ...
I extend Barker and Shan\u27s (2014) project of finding natural language applications for continuati...
. We claim that a continuation style semantics of a programming language can provide a starting poin...
(eng) We claim that the continuation style semantics of a programming language can provide a startin...
AbstractWe give an abstract categorical presentation of continuation semantics by taking the continu...
We present the first formalization of implementation strategies for first-class continuations. The f...
We claim that the continuation style semantics of a programming language can provide a starting poin...
We claim that the continuation style semantics of a programming language can provide a starting poin...
We give an abstract categorical presentation of continuation semantics by taking the continuation ty...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with use...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with use...
This paper proposes that the meanings of some natural language expressions should be thought of as f...
Synopsis: The continuation of an expression is a portion of its sur-rounding context. This book prop...
Abstract. We present a directly compositional and type-directed anal-ysis of quantifier ambiguity, s...
Laboratory for Foundations of Computer ScienceThis thesis attempts to make precise the structure inh...
International audienceResearch questions • How can all the components of a theory of presupposition ...
I extend Barker and Shan\u27s (2014) project of finding natural language applications for continuati...
. We claim that a continuation style semantics of a programming language can provide a starting poin...
(eng) We claim that the continuation style semantics of a programming language can provide a startin...
AbstractWe give an abstract categorical presentation of continuation semantics by taking the continu...
We present the first formalization of implementation strategies for first-class continuations. The f...
We claim that the continuation style semantics of a programming language can provide a starting poin...
We claim that the continuation style semantics of a programming language can provide a starting poin...
We give an abstract categorical presentation of continuation semantics by taking the continuation ty...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with use...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with use...