Comprehending monads

Mathematical Structures in Computer Science

Volumn 2, Issue 4, 1992, Pages 461-493

  Wadler, Philip ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84971896354     PISSN: 09601295     EISSN: 14698072     Source Type: Journal    
DOI: 10.1017/S0960129500001560     Document Type: Article

References (38)

1. Appel, A. and Jim, T. (1989) Continuation-passing, closure-passing style. In: 16th ACM Symposium on Principles of Programming Languages, Austin, Texas.
2. Barr, M. and Wells, C. (1985) Toposes, Triples, and Theories. Springer Verlag.
3. Bird, R. and Wadler, P. (1988) Introduction to Functional Programming. Prentice Hall.
4. Bloss, A. (1989) Update analysis and the efficient implementation of functional aggregates. In: 4th Symposium on Functional Programming Languages and Computer Architecture, ACM, London.
5. Fairbairn, J. (1987) Form follows function. Software — Practice and Experience, 17(6) 379–386.
6. Frost, R. and Launchbury, J. (1989) Constructing natural language interpreters in a lazy functional language. The Computer Journal, 32(2) 108–121.
7. Gifford, D. K. and Lucassen, J. M. (1986) Integrating functional and imperative programming. In: ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, 28–39.
8. Goguen, J. A. (1988) Higher order functions considered unnecessary for higher order programming.Technical report SRI-CSL-88-1, SRI International.
9. Gordon, M., Milner, R. and Wadsworth, C. (1979) Edinburgh LCF. LNCS 78, Springer-Verlag.
10. Guzman, J. and Hudak, P. (1990) Single-threaded polymorphic lambda calculus. In: IEEE Symposium on Logic in Computer Science, Philadelphia.
11. Harper, R., Milner, R. and Tofte, M. (1988) The definition of Standard ML, version 2. Report ECS-LFCS-88-62, Edinburgh University, Dept. of Computer Science.
12. Holmström, S. (1983) A simple and efficient way to handle large data structures in applicative languages. In: Proceedings SERC/Chalmers Workshop on Declarative Programming, University College London.
13. Hudak, P. (1986a) A semantic model of reference counting and its abstraction (detailed summary). In: ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, 351–363.
14. Hudak, P. (1986b) Arrays, non-determinism, side-effects, and parallelism: a functional perspective. In: J. H. Fasel and R. M. Keller, editors, Workshop on Graph Reduction, Santa Fe, New Mexico, LNCS 279, Springer-Verlag.
15. Hudak, P. Peyton Jones, S. and Wadler, P. editors, (1991) Report on the Programming Language Haskell: Version 1.1. Technical report, Yale University and Glasgow University.
16. Hughes, J. (1989) Why functional programming matters. The Computer Journal, 32(2) 98–107.
17. Hughes, J. and O’Donnell, J. (1989) Expressing and reasoning about non-deterministic functional programs. In: K. Davis and J. Hughes, editors, Functional Programming, Glasgow 1989 (Glasgow workshop, Fraserburgh, August), Workshops in Computing, Springer Verlag.
18. Lambek, J. and Scott, P. (1986) Introduction to Higher Order Categorical Logic. Cambridge University Press.
19. Mac Lane, S. (1971) Categories for the Working Mathematician. Springer-Verlag.
20. Mason, I. and Talcott, C. (1989) Axiomatising operational equivalence in the presence of side elfects. In: IEEE Symposium on Logic in Computer Science, Asilomar, California.
21. Milner, R. (1984) A proposal for Standard ML. In: ACM Symposium on Lisp and Functional Programming, Austin, Texas.
22. Moggi, E. (1989a) Computational lambda-calculus and monads. In: IEEE Symposium on Logic in Computer Science, Asilomar, California. (A longer version is available as a technical report from the University of Edinburgh.)
23. Moggi, E. (1989b) An abstract view of programming languages. Course notes, University of Edinburgh.
24. Plotkin, G. (1975) Call-by-name, call-by-value, and the 2-calculus. Theoretical Computer Science, 1 125–159.
25. Rees, J. and Clinger, W., editors, (1986) ‘The revised report on the algorithmic language Scheme. ACM SIGPLAN Notices, 21(12) 37–79.
26. Reynolds, J. C. (1974) On the relation between direct and continuation semantics. In: Colloquium on Automata, Languages and Programming, Saarbrücken LNCS 14, Springer-Verlag.
27. Reynolds, J. C. (1983) Types, abstraction, and parametric polymorphism. In: R. E. A. Mason, editor, Information Processing 83, North-Holland, Amsterdam, 513–523.
28. Schmidt, D. A. (1985) Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems, 7 299–310.
29. Spivey, M. (1990) A functional theory of exceptions. Science of Computer Programming, 14(1) 25–42.
30. Henderson, and D. A. Turner, editors, Functional Programming and its Applications, Cambridge University Press. In: J. Darlington, P.S. Henderson, and D. A. Turner, editors, Functional Programming and its Applications, Cambridge University Press.
31. Turner, D. A. (1985) Miranda: A non-strict functional language with polymorphic types. In: Proceedings of the 2nd International Conference on Functional Programming Languages and Computer Architecture, Nancy, France, LNCS 201, Springer Verlag.
32. Wadler, P. (1985) How to replace failure by a list of successes. In: 2nd Symposium on Functional Programming Languages and Computer Architecture, Nancy, LNCS 273, Springer-Verlag.
33. Wadler, P. (1987) List comprehensions. In: S. L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice Hall.
34. Wadler, P. (1989) Theorems for free! In: 4th Symposium on Functional Programming Languages and Computer Architecture, ACM, London.
35. Wadler, P. (1990a) Linear types can change the world! In: M. Broy and C. Jones, editors, Programming Concepts and Methods (IFIP Working Conference, Sea of Gallilee, Israel, April), North Holland.
36. Wadler, P. (1990b) Comprehending monads. In: ACM Conference on Lisp and Functional Programming, Nice.
37. Wadler, P. (1991) Is there a use for linear logic? In: Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), ACM, New Haven, Connecticut.
38. Wadler, P. (1992) The essence of functional programming. In Proceedings of the 19th Annual Symposium on Principles of Programming Languages, Albuquerque, N.M.