The Cooper storage idiom
From MaRDI portal
Publication:1711505
DOI10.1007/s10849-017-9263-1OpenAlexW2781892639MaRDI QIDQ1711505
Publication date: 18 January 2019
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-017-9263-1
Functional programming and lambda calculus (68N18) Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)
Related Items
Algebraic effects for extensible dynamic semantics ⋮ On Jacobson’s “Towards a Variable-Free Semantics”
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- A coherence theorem for canonical morphisms in Cartesian closed categories
- On multiple context-free grammars
- Propositional lax logic
- Structural similarity within and among languages
- Constructing Applicative Functors
- Covert Movement in Logical Grammar
- About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
- The Pumping Lemma for Well-Nested Multiple Context-Free Languages
- Parameterised notions of computation
- Computational types from a logical perspective
- Importing Montagovian Dynamics into Minimalism
- The parametric continuation monad
- Applicative programming with effects
- A formulation of the simple theory of types