Monads for functional programming
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Linear logicTheoretical Computer Science, 1987
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986
- A semantic model of reference counting and its abstraction (detailed summary)Published by Association for Computing Machinery (ACM) ,1986
- Detecting global variables in denotational specificationsACM Transactions on Programming Languages and Systems, 1985
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Categories for the Working MathematicianPublished by Springer Nature ,1971