The marriage of effects and monads

ACM Transactions on Computational Logic

Volumn 4, Issue 1, 2003, Pages 1-32

  Wadler, Philip ^a   Thiemann, Peter ^b  

^a AVAYA LABS RESEARCH   (United States)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Effect; Monad; Region; Type; Type reconstruction

Indexed keywords

COMPUTATIONAL EFFECTS; MONAD; REGIONS; TYPE RECONSTRUCTION;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER WORMS; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; SEMANTICS; SET THEORY;

COMPUTATIONAL METHODS;

EID: 3042814322     PISSN: 15293785     EISSN: None     Source Type: Journal    
DOI: 10.1145/601775.601776     Document Type: Article

References (44)

1. BARTHE, G., HATCLIFF, J., AND THIEMANN, P. 1998. Monadic type systems: Pure type systems for impure settings (preliminary report). In Proceedings of HOOTS'97. Electronic Notes in Theoretical Computer Science, vol. 10. Elsevier, Amsterdam, The Netherlands.
2. BENTON, N., KENNEDY, A., AND RUSSELL, G. 1998. Compiling Standard ML to Java bytecodes. ACM 3rd International Conference on Functional Programming (Baltimore, September 1998). ACM Press, New York, NY.
3. BREAZU-TANNEN, V., COQUAND, T., GUNTER, C. A., AND SCEDROV, A. 1991. Inheritance as explicit coercion. Information and Computation. 93, 1, 172-221. (Reprinted in Theoretical Aspects of Object-Oriented Programming, C. A. Gunter and J. C. Mitchell, Eds. MIT Press, Cambridge, MA, 1994.)
4. FINNE, S., LEIJEN, D., MEIJER, E., AND PEYTON JONES, S. 1999. Calling hell from heaven and heaven from hell. In Proceedings of the 14th ACM International Conference on Functional Programming (Paris, Sept.) ACM Press, New York, NY.
5. GIFFORD, D. K., JOUVELOT, P., LUCASSEN, J. M., AND SHELDON, M. A. 1987. FX-87 Reference Manual. Tech. Rep. MIT/LCS/TR-407, MIT Laboratory for Computer Science, Cambridge, MA.
6. GIFFORD, D. K. AND LUCASSEN, J. M. 1986. Integrating functional and imperative programming. In ACM Conference on Lisp and Functional Programming (Cambridge, MA, August 1986). ACM Press, New York, NY.
7. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Java Series. Sun Microsystems.
8. HARPER, R. AND LILLIBRIDGE, M. 1993. Polymorphic type assignment and cps conversion. LISP Symbol. Computat. 6, 4, 361-380.
9. HATCLIFF, J. AND DANVY, O. 1994. A generic account of continuation-passing styles. In Proceedings of the ACM Symposium on Principles of Programming Languages (Portland, OR, January 1994). ACM Press, New York, NY.
10. JOUVELOT, P. AND GIFFORD, D. K. 1989. Reasoning about continuations with control effects. Tech. Rep. MIT/LCS/TM-878, MIT Laboratory for Computer Science, Cambridge, MA.
11. LAUNCHBURY, J. AND PEYTON JONES, S. L. 1994. Lazy functional state threads. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Orlando, FL). ACM Press, New York, NY.
12. LEROY, X. 1993. Polymorphism by name for references and continuations. In Conference Record of POPL '93: The 20th ACM SIOPLAN-SIGACT Symposium on Principles of Programming Languages (Charleston, SC, Jan. 1993). ACM Press, New York, NY, 220-231.
13. LUCASSEN, J. M. 1987. Types and effects, towards the integration of functional and imperative programming. Tech. Rep. MIT/LCS/TR-408, MIT Laboratory for Computer Science, Cambridge, MA. (Also a Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 1987.)
14. LUCASSEN, J. M. AND GIFFORD, D. K. 1988. Polymorphic effect systems. In Conference Record of POPL '88: The 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Diego, CA). ACM Press, New York, NY, 47-57.
15. MILNER, R. 1978. A theory for type polymorphism in programming. J. Comput. Syst. Sci. 17, 348-375.
16. MILNER, R., TOFTE, M., AND HARPER, R. 1990. The Definition of Standard ML. MIT Press, Cambridge, MA.
17. MILNER, R., TOFTE, M., HARPER, R., AND MACQUEEN, D. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA.
18. MITCHELL, J. C. 1991. Type inference with simple subtypes, J. Funct. Programm. 1, 3, 245-286.
19. MOGGI, E. 1989. Computational lambda calculus and monads. In Proceedings of the IEEE Symposium on Logic in Computer Science (Asilomar, CA, June 1989). IEEE Computer Science Press, Los Alamitos, CA.
20. MOGGI, E. 1991. Notions of computation and monads. Inform. Computat. 93, 1, 55-92.
21. MOGGI, E. AND PALUMBO, P. 1999. Monadic encapsulation of effects: A revised approach. HOOTS '99: Higher Order Operational Techniques in Semantics. Electronic Notes in Theoretical Computer Science, vol. 26. Elsevier, Amsterdam, The Netherlands.
22. NIELSON, H. RIIS, NIELSON, F., AND AMTOFT, T. 1997. Polymorphic subtyping for effect analysis: The static semantics. In Proceedings of the Fifth LOMAPS Workshop, Mads Dam, Ed. Lecture Notes in Computer Science, vol. 1192. Springer-Verlag, Berlin, Germany.
23. PEYTON JONES, S., GORDON, A., AND FINNE, S. 1996. Concurrent Haskell. In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (St. Petersburg Beach, FL, Jan. 21-24), ACM Press, New York, NY, 295-308.
24. PEYTON JONES, S. AND HUGHES, J., Eds. 1999. Haskell98, a non-strict, purely functional language. Available at http://www.hashell.org, December 1998.
25. PEYTON JONES, S., REID, A., HOARE, T., MARLOW, S., AND HENDERSON, F. 1999. A semantics for imprecise exceptions. In Proceedings of the 1999 ACM Conference on Programmings Languages Design and Implementation (PLDI' 99, Atlanta, GA, May 1999). SIGPLAN Not. 34, 5, 25-36.
26. PEYTON JONES, S. L. AND WADLER, P. 1993. Imperative functional programming. In Proceedings of the ACM Symposium on Principles of Programming Languages (Charleston, SC, Jan.). ACM Press, New York, NY.
27. PLOTKIN, G. 1975. Call-by-name, call-by-value, and the λ-calculus. Theoret. Comput. Sci. 1, 125-159.
28. SABRY, A. AND WADLER, P. 1997. A reflection on call-by-value. ACM Trans. Programm. Lang. Syst. 19, 6 (Nov.), 916-941. (An earlier version appeared in Proceedings of the 1st ACM International Conference on Functional Programming (Philadelphia, PA, May 1996).
29. SEMMELROTH, M. AND SABRY, A. 1999. Monadic encapsulation in ML. In Proceedings of the 4th ACM International Conference on Functional Programming (Paris, France, Sept.). ACM Press, New York, NY, 8-17.
30. TALPIN, J.-P. 1993. Theoretical and practical aspects of type and effect inference. Ph.D. thesis, Ecole des Mines de Paris and University Paris VI, Paris, France.
31. TALPIN, J.-P. AND JOUVELOT, P. 1992. Polymorphic type, region, and effect inference. J. Funct. Programm.2, 3 (July), 245-271.
32. TALPIN, J.-P. AND JOUVELOT, P. 1994. The type and effect discipline. Inform. Computat. 111, 2, 245-296.
33. TOFTE, M. 1987. Operational semantics and polymorphic type inference. Ph.D. thesis, University of Edinburgh, Edinburgh, Scotland.
34. TOFTE, M. AND BIRKEDAL, L. 1998. A region inference algorithm. ACM Trans. Programm. Lang. Syst. 20, 4 (Nov.), 734-767.
35. TOFTE, M. AND TALPIN, J.-P. 1994. Implementation of the typed call-by-value λ-calculus using a stack of regions. In Proceedings of the 21th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Jan. 1994). ACM Press, New York, NY, 188-201.
36. TOLMACH, A. 1998. Optimizing ML using a hierarchy of monadic types. In Proceedings of the Workshop on Types in Compilation (Kyoto, March 1998). ACM Press, New York, NY.
37. WADLER, P. 1990. Comprehending monads, In Proceedings of the ACM Conference on Lisp and Functional Programming (Nice, France, June 1990). ACM Press, New York, NY.
38. WADLER, P. 1992. The essence of functional programming (Invited talk). In Proceedings of the ACM Symposium on Principles of Programming Languages (Albuquerque, NM, Jan. 1992). ACM Press, New York, NY.
39. WADLER, P. 1993. Monads for functional programming. In M. Broy, editor, Program Design Calculi. NATO ASI Series, Springer-Verlag, Berlin, Germany (Also in Advanced Functional Programming, J. Jeuring and E. Meijer, Eds. Lecture Notes in Computer Science, vol. 925, Springer-Verlag, Berlin, Germany.)
40. WADLER, P. 1995. How to declare an imperative (Invited talk). International Logic Programming Symposium (Portland, OR). MIT Press, Cambridge, MA.
41. WADLER, P. 1998. The marriage of effects and monads. In Proceedings of the ACM 3rd International Conference on Functional Programming (Baltimore, MD, Sept. 1998).
42. WRIGHT, A. 1992. Typing references by effect inference, 4th European Symposium on Programming (Rennes, France, Feb. 1992). Lecture Notes in Computer Science, vol. 582. Springer-Verlag, Berlin, Germany.
43. WRIGHT, A. 1995. Simple imperative polymorphism. Lisp Symbol. Computat. 8, 4, 343-355.
44. WRIGHT, A. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inform. Computat. 115, 1 (Nov.), 38-94.