The marriage of effects and monads
- 29 September 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1), 63-74
- https://doi.org/10.1145/289423.289429
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- A region inference algorithmACM Transactions on Programming Languages and Systems, 1998
- A reflection on call-by-valueACM Transactions on Programming Languages and Systems, 1997
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- The Type and Effect DisciplineInformation and Computation, 1994
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992
- Type inference with simple subtypesJournal of Functional Programming, 1991
- Notions of computation and monadsInformation and Computation, 1991
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975