Monads and Meta-lambda Calculus (original) (raw)
Related papers
Meta-Lambda Calculus and Linguistic Monads
In "Formal Approaches to Semantics and PragmaticsJapanese and Beyond", McCready,Eric. Yabushita, Katsuhiko. Yoshimoto,Kei. (Eds), Studies in Linguistics and Philosophy 95, ISBN: 978-94-017-8812-0, pp.31-64, Springer., 2014
2000
Notions of computation and monads
Information and Computation, 1991
2012
Lecture Notes in Computer Science, 2002
Notions of Computation Determine Monads
2002
Theoretical Computer Science, 2005
Parameterized monads in linguistics
2021
Scope ambiguities, monads and strengths
Journal of Language Modelling
The formal theory of monads II
Journal of Pure and Applied Algebra, 2002
Monads, Effects and Transformations
Electronic Notes in Theoretical Computer Science, 1999
Patterns for computational effects arising from a monad or a comonad
Schemas Theory Overview Part 06: Exploring Faceted Monads
2019
Using monads to fuse recursive programs
Unifying Theories of Programming with Monads
An abstract monadic semantics for value recursion
RAIRO - Theoretical Informatics and Applications, 2004
ACM SIGPLAN Notices, 2013
Logical Relations for Monadic Types
Lecture Notes in Computer Science, 2002
A Description of Iterative Reflections of Monads (Extended Abstract)
Lecture Notes in Computer Science, 2009
Deriving Compilers from Monadic Semantics
The marriage of effects and monads
ACM Transactions on Computational Logic, 2003
Variations on Algebra: Monadicity and Generalisations of Equational Therories
Formal Aspects of Computing, 2002
From Semantics to Types: the Case of the Imperative lambda-Calculus
Electronic Proceedings in Theoretical Computer Science, 2021
Semantics of value recursion for Monadic Input/Output
RAIRO - Theoretical Informatics and Applications, 2002
Equational properties of iterative monads
Information and Computation, 2010
Breaking a monad-comonad symmetry between computational effects
Monadic Monadic Second Order Logic
2022
From Semantics to Types: the Case of the Imperative λ -Calculus
2021
The formal theory of monoidal monads
Journal of Pure and Applied Algebra, 2012
Monadologies: An Historical Overview
British Journal for the History of Philosophy, 2015
A categorical analysis of multi-level languages (extended abstract
1998
Monads at the Bottom, Monads at the Top, Monads all Over, BJHP
Merging monads and folds for functional programming
1995
Mathematical Structures in Computer Science, 2014