Philip Wadler, Peter Thiemann  Home/Search
Context Related
| avayalabs.com/user/...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: avayalabs.com/user/wadle...recent (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is to marry effects to monads, writing T for a computation that yields a value in and may have effects delimited by oe. Now we have that ( is (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):
49.5%: The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
Similar documents based on text: More All
0.4: The Type and Effect Discipline - Talpin, Jouvelot (1993) (Correct)
0.4: Polymorphic Type, Region and Effect Inference - Talpin, Jouvelot (1992) (Correct)
0.4: Algebraic Reconstruction of Types and Effects - Jouvelot, Gifford (1991) (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 not processed or no citations identified.
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)
A Statically Safe Alternative to Virtual Types - Bruce, Odersky, Wadler (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