Monadic encapsulation of effects: a revised approach (extended version)

@article{Moggi2001MonadicEO,
  title={Monadic encapsulation of effects: a revised approach (extended version)},
  author={Eugenio Moggi and Amr Sabry},
  journal={J. Funct. Program.},
  year={2001},
  volume={11},
  pages={591-627}
}
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… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…