Philip Wadler, Peter Thiemann  Home/Search
Context Related
Links: ACM DBLP | belllabs.com/cm/cs...effectstocl.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: belllabs.com/cm/cs/who/...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):
46.8%: The Marriage of Effects and Monads - Wadler (1998) (Correct)
Active bibliography (related documents): More All
0.4: Monads and Effects - Benton, Hughes, Moggi (2000) (Correct)
0.4: Monads and Effects (revised) - Benton, Hughes, Moggi (2000) (Correct)
0.3: A System of Constructor Classes: Overloading and Implicit.. - Jones (1995) (Correct)
Similar documents based on text: More All
0.5: Monads and Composable Continuations - Wadler (1993) (Correct)
0.4: A Theory of Monads Parameterized By Effects - Filliâtre (1999) (Correct)
0.4: The Essence of Functional Programming - Wadler (1992) (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. - 1990
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 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
229 Foundations for programming languages (context) - Mitchell - 1996
101 Lazy functional state threads - Launchbury, Jones - 1994
99 Polymorphic effect systems (context) - Lucassen, Gifford - 1988 ACM DBLP
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
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
48 Polymorphic type assignment and cps conversion - Harper, Lillibridge - 1993
47 Information and Computation (context) - Talpin, Jouvelot et al. - 1994
39 A semantics for imprecise exceptions - Jones, Reid et al. - 1999 ACM DBLP
38 Functional programming with overloading and higher-order pol.. - Jones - 1995 ACM DBLP
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 Polymorphism by name for references and continuations (context) - Leroy - 1993 ACM DBLP
29 Integrating functional and imperative programming (context) - Gifford, Lucassen - 1986 ACM DBLP
27 purely functional language (context) - non-strict - 1998
25 MIT Laboratory for Computer Science (context) - Gifford, Jouvelot et al. - 1987
23 Calling Hell from Heaven and Heaven from Hell - Finne, Leijen et al. - 1999 ACM DBLP
20 Typing references by effect inference - Wright - 1992 ACM DBLP
17 Representing layered monads - Filinski - 1999 ACM DBLP
16 Reasoning about continuations with control effects - Jouvelot, Gifford - 1989 ACM DBLP
15 Monadic Encapsulation in ML - Semmelroth, Sabry - 1999
14 The marriage of effects and monads - Wadler - 1998 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
9 Optimizing ML using a hierarchy of monadic types - Tolmach - 1998 ACM DBLP
7 ACM Conference on Lisp and Functional Programming (context) - Wadler, monads - 1990
5 Polymorphic subtyping for effect analysis: The static semant.. - Nielson, Nielson et al. - 1997 DBLP
5 IEEE Symposium on Logic in Computer Science (context) - Moggi, calculus - 1989
5 Monadic type systems: Pure type systems for impure settings - Barthe, Hatcliff et al. - 1998 DBLP
4 ACM Symposium on Principles of Programming Languages (context) - Jones, Wadler et al. - 1993
4 and Sigbjrn Finne (context) - Jones, Gordon - 1996
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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/wadler/topics/recent.html): More
Pizza into Java: Translating theory into practice - Odersky (1997) (Correct)
GJ Specification - Bracha, Odersky, Stoutamire, Wadler (1998) (Correct)
GJ: Extending the Java programming language with type.. - Bracha, Odersky.. (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