The marriage of effects and monads

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 1, 1999, Pages 63-74

  Wadler, Philip ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244377166     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289429     Document Type: Article

References (36)

1. N. Benton, A. Kennedy, and G. Russell, Compiling Standard ML to Java Bytecodes, ACM 3'rd International Conference on Functional Programming, Baltimore, September 1998.
2. V. Breazu-Tannen, T. Coquand, C. A. Gunter, and A. Scedrov, Inheritance as explicit coercion, Information and Computation, 93(1):172-221, 1991. Reprinted in C. A. Gunter and'J. C. Mitchell, editors, Theoretical aspects of object-oriented programming, MIT Press, 1994.
3. V. Breazu-Tannen, T. Coquand, C. A. Gunter, and A. Scedrov, Inheritance as explicit coercion, Information and Computation, 93(1):172-221, 1991. Reprinted in C. A. Gunter and'J. C. Mitchell, editors, Theoretical aspects of object-oriented programming, MIT Press, 1994.
4. D. K. Gifford and J. M. Lucassen, Integrating functional and imperative programming, ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, August 1986.
5. D. K. Gifford, P. Jouvelot, J. M. Lucassen, and M. A. Sheldon, FX-87 Reference Manual, Technical report MIT/LCS/TR-407, MIT Laboratory for Computer Science, September 1987.
6. James Gosling, Bill Joy, and Guy Steele, The Java Language Specification, Java Series, Sun Microsystems, 1996.
7. J. Hatcliff and O. Danvy, A generic account of continuation-passing styles, ACM Symposium on Principles of Programming Languages, Portland, Oregon, January 1994.
8. P. Jouvelot and D. K. Gifford, Reasoning about continuations with control effects, Technical report MIT/LCS/TM-378, MIT Laboratory for Computer Science, January 1989.
9. M. P. Jones, Functional programming with overloading and higher-order polymorphism, in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925, Springer Verlag, 1995.
10. J. Launchbury and S. L. Peyton Jones, Lazy functional state threads, ACM Conference on Programming Language Design and Implementation, Orlando, Florida, 1994.
11. J. M. Lucassen, Types and effects, towards the integration of functional and imperative programming, Ph.D. Thesis, Technical report MIT/LCS/TR-408, MIT Laboratory for Computer Science, August 1987.
12. R. Milner, A theory for type polymorphism in programming, Journal of Computer and Systems Science, 17:348-375, 1978.
13. J. C. Mitchell, Type inference with simple subtypes, Journal of Functional Programming, 1(3):245-286, 1991.
14. J. C. Mitchell, Foundations for programming languages, MIT Press, 1996.
15. R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML, MIT Press, 1990.
16. R. Milner, M. Tofte, R. Harper, and D. MacQueen, The Definition of Standard ML (Revised), MIT Press, 1997.
17. E. Moggi, Computational lambda calculus and monads, IEEE Symposium on Logic in Computer Science, Asilomar, California, June 1989.
18. E. Moggi, Notions of computation and monads, Information and Computation, 93(1), 1991.
19. J. Peterson and K. Hammond, editors, Haskell 1.4, a non-strict, purely functional language, Technical report, Yale University, April 1997.
20. G. Plotkin, Call-by-name, call-by-value, and the λ-calculus, Theoretical Computer Science, 1:125-159, 1975.
21. S. L. Peyton Jones and P. Wadler, Imperative functional programming, ACM Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993.
22. A reflection on call-by-value. Amr Sabry and Philip Wadler. ACM Transactions on Programming Languages and Systems, 19(6):916-941, November 1997. (An earlier version appeared in 1'st ACM International Conference on Functional Programming, Philadelphia, May 1996.)
23. A reflection on call-by-value. Amr Sabry and Philip Wadler. ACM Transactions on Programming Languages and Systems, 19(6):916-941, November 1997. (An earlier version appeared in 1'st ACM International Conference on Functional Programming, Philadelphia, May 1996.)
24. J.-P. Talpin and P. Jouvelot, Polymorphic type, region, and effect inference, Journal of Functional Programming, 2(3):245-271, July 1992.
25. J.-P. Talpin and P. Jouvelot, The type and effect discipline, Information and Computation, 111(2):245-296, 1994.
26. M. Tofte, Operational semantics and polymorphic type inference, PhD Thesis, University of Edinburgh, 1987.
27. M. Tofte and L. Birkedal, A region inference algorithm, Transactions on Programming Languages and Systems, November 1998 (to appear).
28. A. Tolmach, Optimizing ML using a hierarchy of monadic yypes Workshop on Types in Compilation, Kyoto, March 1998.
29. P. Wadler, Comprehending monads. ACM Conference on Lisp and Functional Programming, Nice, France, June 1990.
30. P. Wadler, The essence of functional programming (Invited talk), ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, January 1992.
31. P. Wadler, Monads for functional programming, in M. Broy, editor, Program Design Calculi, NATO ASI Series, Springer Verlag, 1993. Also in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925, Springer Verlag, 1995.
32. P. Wadler, Monads for functional programming, in M. Broy, editor, Program Design Calculi, NATO ASI Series, Springer Verlag, 1993. Also in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925, Springer Verlag, 1995.
33. P. Wadler, How to declare an imperative (Invited talk), International Logic Programming Symposium, Portland, Oregon, MIT Press, December 1995.
34. A. Wright and M. Felleisen, A syntactic approach to type soundness, Information and Computation, 115(1):38-94, November 1994.
35. A. Wright, Typing references by effect inference, 4th European Symposium on Programming, Rennes, France, February 1992, Springer-Verlang LNCS 582.
36. A. Wright, Simple imperative polymorphism, Lisp and Symbolic Computation, 8:343-355, 1995.