Eugenio Moggi, Amr Sabry  Home/Search
Context Related
| disi.unige.it/person/Mogg...jfp01.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 rst 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):
22.5%: Monadic Encapsulation of Effects: A Revised Approach (Extended .. - Moggi, Sabry (2000) (Correct)
12.9%: Monadic Encapsulation of Effects: a Revised Approach.. - Moggi, Palumbo (1999) (Correct)
Active bibliography (related documents): More All
0.3: Monadic Encapsulation in ML - Semmelroth, Sabry (1999) (Correct)
0.3: Lenses in Arrangements of Pseudo-circles and their.. - Nevo, Pach.. (2001) (Correct)
0.3: Imperative Lambda Calculus Revisited - Yang, Reddy (1997) (Correct)
Similar documents based on text: More All
0.2: A Reflection on Call-by-Value - Sabry, Wadler (1997) (Correct)
0.2: A Communication System for Efficient Parallel Processing on.. - Ciaccio (1999) (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/moggi99monadic.html More
@inproceedings{ moggi99monadic,
author = "E. Moggi and F. Palumbo",
title = "Monadic encapsulation of effects: A revised approach",
booktitle = "Proceedings of the Third International Workshop on Higher-Order Operational
Techniques in Semantics",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
month = sep,
year = "1999",
url = "citeseer.ist.psu.edu/moggi99monadic.html" }
Citations (may not include all citations):382 Lambda calculi with types - Henk - 1991
311 Abstract types have existential type (context) - John, Plotkin - 1988
306 A syntactic approach to type soundness - Andrew, Felleisen - 1994
293 The essence of functional programming - Philip - 1992
254 Comprehending monads - Wadler - 1990
188 Region-based memory management - Mads, Jean-Pierre - 1997
138 Type inference for polymorphic references (context) - Mads - 1990
132 Syntactic control of interference (context) - John - 1978
90 Type systems - Luca - 1996
87 Notions of computation and monads - Eugenio - 1991
56 Explicit polymorphism and CPS conversion - Robert, Mark - 1993
22 Monadic state: Axiomatization and type safety - Launchbury, Sabry - 1997
20 On functors expressible in the polymorphic typed lambda calc.. (context) - John, Plotkin - 1993
10 A type system for a lambda calculus with assignment (context) - Chen, Odersky - 1994
7 Call by name (context) - Martin, Dan et al. - 1993
5 Calculi for functional programming languages with assignment.. - Dan - 1996
3 Preliminary version appeared (context) - on, Languages - 1985
1 Pages 162-173 of: the IEEE Symposium on Logic in Computer Sc.. (context) - Jean-Pierre, The et al.
1 Monadic encapsulation of e ects: A revised approach - Eugenio, Fabrizio - 1999
1 Delimiting the scope of e ects (context) - Jon - 1993
1 Assignments for applicative languages (context) - of, ects et al. - 1991
1 Isolating side e ects in sequential languages - Jon, Viswanathan - 1995
1 Logics and type systems (context) - of, software et al. - 1993
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