Location of Repository

Monadic Encapsulation of Effects: a Revised Approach (Extended Version)

By E. Moggi and F. Palumbo

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 bogus type parameter of the original proposal. The second contribution is a stronger type safety result, namely encapsulation of strict state in higherorder lambda-calculus. We formalise the intended implementation as a very simple big-step operational semantics on untyped terms, which captures interesting implementation details not captured by the reduction semantics proposed previously

Year: 1999
OAI identifier: oai:CiteSeerX.psu:10.1.1.36.4290
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.dcs.ed.ac.uk/home/w... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.