Philip Wadler  Home/Search
Context Related
Links: ACM DBLP | avayalabs.com/user/wadl...effects.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: avayalabs.com/user/wadle...recent (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, while Moggi and others proposed monads for much the same purpose. Here we marry effects to monads, uniting two previously separate lines of research. In particular, we show that the type, region, and effect system of Talpin and Jouvelot carries over directly to an analogous system for monads, including a type and effect reconstruction algorithm. The same technique should allow ... (Update)
Context of citations to this paper: More
.... effect systems [GL86] have been observed by [Wad92] but formal relations between the two have been established only recently (e.g. see [Wad98] In the denotational semantics of programming languages there are other informal notions modeled using monads, for instance...
...read or written when it is executed. This approach is as an alternative to monads. In some instances the two are indeed equivalent [54, 98]. Effects were later used to develop region based memory management [11, 95] In this approach, each type carries the name of a region...
Cited by: More
A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
Tackling the Awkward Squad: monadic input/output, concurrency.. - Jones (2002) (Correct)
Directions in Functional Programming for Real(-Time).. - Taha, Hudak, Wan (Correct)
Similar documents (at the sentence level):
37.4%: The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
Active bibliography (related documents): More All
0.5: Positive Subtyping - Hofmann, Pierce (1994) (Correct)
0.3: A System of Constructor Classes: Overloading and Implicit.. - Jones (1995) (Correct)
0.2: A Monad of Imperative Streams - Scholz (1996) (Correct)
Similar documents based on text: More All
0.7: The Type and Effect Discipline - Talpin, Jouvelot (1993) (Correct)
0.5: Polymorphic Type, Region and Effect Inference - Talpin, Jouvelot (1992) (Correct)
0.4: State in Functional Languages - An Annotated Bibliography - Hudak, Rabin (1993) (Correct)
Related documents from co-citation: More All
10: Region-based memory management - Tofte, Talpin - 1997
8: A syntactic approach to type soundness - Wright, Felleisen - 1991
7: Lazy functional state threads - Launchbury, Jones - 1994
BibTeX entry: (Update)
P. Wadler. The marriage of effects and monads. In 3rd ACM SIGPLAN Conference on Functional Programming, September 1998. (this volume). http://citeseer.ist.psu.edu/article/wadler98marriage.html More
@inproceedings{ wadler99marriage,
author = "Philip Wadler",
title = "The marriage of effects and monads",
booktitle = "Proceedings of the {ACM} {SIGPLAN} International Conference on Functional Programming ({ICFP} '98)",
volume = "34(1)",
pages = "63--74",
year = "1999",
url = "citeseer.ist.psu.edu/article/wadler98marriage.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 ACM
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
809 A theory for type polymorphism in programming (context) - Milner - 1978
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
369 Information and Computation (context) - Moggi, computation - 1991 DBLP
306 A syntactic approach to type soundness - Wright, Felleisen - 1994 ACM DBLP
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975 ACM
229 Foundations for programming languages (context) - Mitchell - 1996
124 Monads for functional programming - Wadler - 1995 ACM DBLP
101 Lazy functional state threads - Launchbury, Jones - 1994 ACM DBLP
87 Operational semantics and polymorphic type inference (context) - Tofte - 1987
85 Type inference with simple subtypes (context) - Mitchell - 1991 DBLP
58 Simple imperative polymorphism - Wright - 1995 ACM DBLP
57 Compiling Standard ML to Java Bytecodes - Benton, Kennedy et al. - 1998 ACM DBLP
47 Information and Computation (context) - Talpin, Jouvelot et al. - 1994 DBLP
38 Functional programming with overloading and higher-order pol.. - Jones - 1995 ACM DBLP
37 ACM Transactions on Programming Languages and Systems (context) - on, Sabry et al. - 1996
37 A generic account of continuation-passing styles - Hatcliff, Danvy - 1994 ACM DBLP
35 towards the integration of functional and imperative program.. (context) - Lucassen, effects - 1987
33 purely functional language (context) - Peterson, Hammond et al. - 1997
29 Integrating functional and imperative programming (context) - Gifford, Lucassen - 1986 ACM DBLP
25 MIT Laboratory for Computer Science (context) - Gifford, Jouvelot et al. - 1987
20 Typing references by effect inference - Wright - 1992 ACM DBLP
16 Reasoning about continuations with control effects - Jouvelot, Gifford - 1989 ACM DBLP
13 Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
10 in and P. Jouvelot, Polymorphic type, region, and effect inf.. (context) - Talp - 1992
7 ACM Conference on Lisp and Functional Programming (context) - Wadler, monads - 1990
5 IEEE Symposium on Logic in Computer Science (context) - Moggi, calculus - 1989
4 ACM Symposium on Principles of Programming Languages (context) - Jones, Wadler et al. - 1993
4 International Logic Programming Symposium (context) - Wadler, declare et al. - 1995
3 ACM Symposium on Principles of Programming Languages (context) - Wadler, of et al. - 1992
2 Theoretical aspects of object-oriented programming (context) - Breazu-Tannen, Coquand et al. - 1994 ACM
1 Optimizing ML using a hierarchy of monadic yypes Workshop on.. (context) - Tolmach - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.avayalabs.com/user/wadler/topics/recent.html): More
Operational Interpretations of Linear Logic - Turner, Wadler (1998) (Correct)
A Practical Subtyping System For Erlang - Marlow (1997) (Correct)
The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC