E. Moggi, Amr Sabry  Home/Search
Context Related
Links: ACM DBLP | disi.unige.it/person/M...MS00sub.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: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Launchbury and Peyton Jones came up with an ingenious idea for embedding regions of imperative programming in a pure functional language like Haskell. The key idea was based on a simple modification of Hindley-Milner's type system. Our first contribution is to propose a more natural encapsulation construct exploiting higher-order kinds, which achieves the same encapsulation effect, but avoids the ad hoc type parameter of the original proposal. The second contribution is a type safety result for ... (Update)
Context of citations to this paper: More
...we ignore such desirable (but technically easy) extensions. Summary. The article extends the paper with the same title (Moggi Palumbo, 1999) with two results: a proof of type safety for a system with strict state and the runST encapsulation construct, and a proof of type...
...reject the encapsulation of terms which may import or export references. The detailed analysis of encapsulation and its justification [20, 21, 24, 29] are not necessary for our purposes, but we must be aware of the augmented type system. In that augmented type system,...
Cited by: More
A Programming Language for Probabilistic Computation - Park (2005) (Correct)
A Modal Language for Effects - Park, Harper (2004) (Correct)
Monads and Effects (revised) - Benton, Hughes, Moggi (2000) (Correct)
Similar documents (at the sentence level):
26.1%: Monadic Encapsulation of Effects: A Revised Approach (Extended .. - Moggi, Sabry (1999) (Correct)
6.6%: Monadic Encapsulation of Effects: a Revised Approach.. - Moggi, Palumbo (1999) (Correct)
Active bibliography (related documents): More All
0.3: Lenses in Arrangements of Pseudo-circles and their.. - Nevo, Pach.. (2001) (Correct)
0.3: Monads and Effects - Benton, Hughes, Moggi (2000) (Correct)
0.2: Recursion is a Computational Effect - Friedman, Sabry (2000) (Correct)
Similar documents based on text: More All
0.4: A Calculus for Symbolic Names Management - Ancona, Moggi (2003) (Correct)
0.4: A Fresh Calculus for Name Management - Ancona, Moggi (Correct)
0.2: A Monadic Multi-stage Metalanguage - Moggi, Fagorzi (2003) (Correct)
Related documents from co-citation: More All
6: Monadic Encapsulation in ML - Semmelroth, Sabry - 1999
5: Lazy functional state threads - Launchbury, Jones - 1994
4: Computational lambda-calculus and monads - Moggi - 1989
BibTeX entry: (Update)
E. Moggi and F. Palumbo. Monadic encapsulation of effects: A revised approach. In Proceedings of the Third International Workshop on Higher-Order Operational Techniques in Semantics, Electronic Notes in Theoretical Computer Science. Elsevier, September 1999. http://citeseer.ist.psu.edu/article/moggi00monadic.html More
@misc{ moggi99monadic,
author = "E. Moggi and F. Palumbo",
title = "Monadic encapsulation of effects: A revised approach",
text = "E. Moggi and F. Palumbo. Monadic encapsulation of effects: A revised approach.
In Proceedings of the Third International Workshop on Higher-Order Operational
Techniques in Semantics, Electronic Notes in Theoretical Computer Science.
Elsevier, September 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/moggi00monadic.html" }
Citations (may not include all citations):382 Lambda calculi with types - Henk - 1991
311 Abstract types have existential type (context) - John, Plotkin - 1988 ACM DBLP
306 A syntactic approach to type soundness - Andrew, Felleisen - 1994 ACM DBLP
188 Region-based memory management - Mads, Jean-Pierre - 1997 ACM DBLP
101 Lazy functional state threads - John, Jones - 1994 ACM DBLP
90 Type systems - Luca - 1996 ACM DBLP
68 Logics and Type Systems - Herman - 1993
22 Monadic state: Axiomatization and type safety - --, John et al. - 1997 DBLP
20 On functors expressible in the polymorphic typed lambda calc.. (context) - John, Plotkin - 1993 ACM DBLP
15 Monadic encapsulation in ML - Miley, Amr - 1999 ACM DBLP
14 The marriage of effects and monads - --, Philip - 1998 ACM DBLP
6 Monadic encapsulation of effects: A revised approach - Eugenio, Fabrizio - 1999 DBLP
4 Polymorphic type (context) - Talpin, Jouvelot - 1992
3 Preliminary version appeared (context) - on, Languages et al. - 1985
1 State in Haskell (context) - --, the et al. - 1995 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/MoggiE/publications.html): More
The Partial Lambda-Calculus - Moggi (1988) (Correct)
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
Typed Intermediate Languages for Shape-Analysis - Bellè, Moggi (1997) (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