The Cooper storage idiom

DOI10.1007/s10849-017-9263-1OpenAlexW2781892639MaRDI QIDQ1711505

Gregory M. Kobele

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

zbMATH Keywords

compositionalitylambda calculusapplicative functorCooper storage

Mathematics Subject Classification ID

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