Notions of computation and monads
- 1 July 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 93 (1) , 55-92
- https://doi.org/10.1016/0890-5401(91)90052-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A syntactic theory of sequential stateTheoretical Computer Science, 1989
- The linear abstract machineTheoretical Computer Science, 1988
- Verification of programs that destructively manipulate dataScience of Computer Programming, 1988
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Strong functors and monoidal monadsArchiv der Mathematik, 1972
- The formal theory of monadsJournal of Pure and Applied Algebra, 1972