Monads and Effects (original) (raw)
Related papers
2000
The marriage of effects and monads
ACM Transactions on Computational Logic, 2003
Patterns for computational effects arising from a monad or a comonad
Monads, Effects and Transformations
Electronic Notes in Theoretical Computer Science, 1999
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM Sigplan …, 1992
Report on the Programming Language Haskell, A Non-strict Purely Functional Language, Version 1.1
ACM SIGPLAN Notices
Unifying Theories of Programming with Monads
Notions of Computation Determine Monads
2002
Report on the programming language Haskell
ACM SIGPLAN Notices, 1992
Notions of computation and monads
Information and Computation, 1991
Monad Factory: Type-Indexed Monads
Lecture Notes in Computer Science, 2011
2021
2012
Merging monads and folds for functional programming
1995
Deriving Compilers from Monadic Semantics
Encapsulation of state with monad transformers
Indiana University, 2006
Report on the programming language Haskell, a non-strict, purely functional …
Sigplan …, 1992
Tracing monadic computations and representing effects
2012
A Dynamic Semantics for Haskell
1992
Breaking a monad-comonad symmetry between computational effects
Using monads to fuse recursive programs
The formal theory of monads II
Journal of Pure and Applied Algebra, 2002
Reusable Monadic Semantics of Object Oriented Programming Languages
2000
1992
An abstract monadic semantics for value recursion
RAIRO - Theoretical Informatics and Applications, 2004
Modular Language Specifications in Haskell
2000
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
Electronic Notes in Theoretical Computer Science, 1998
Implementing monads for C++ template metaprograms
Science of Computer Programming, 2013
Semantics of pH: A parallel dialect of Haskell
1995
The Key monad: type-safe unconstrained dynamic typing
Proceedings of the 9th International Symposium on Haskell, 2016
Haskell's overlooked object system
Computing Research Repository, 2005
Semantics of value recursion for Monadic Input/Output
RAIRO - Theoretical Informatics and Applications, 2002
A purely functional language with encapsulated assignment
Lecture Notes in Computer Science, 1994
Theoretical Computer Science, 2005