A Semantics for Imprecise Exceptions (1999)

by Simon Peyton Jones , Alastair Reid , Tony Hoare , Simon Marlow , Fergus Henderson
Venue:In SIGPLAN Conference on Programming Language Design and Implementation
Citations:54 - 6 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
205 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990