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:52 - 6 self

Documents Related by Co-Citation

201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
1312 Monads for functional programming – Philip Wadler - 1995
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
50 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006
62 Type-Based Analysis of Uncaught Exceptions – Xavier Leroy, Fran├žois Pessaux - 1998
146 Concurrent Programming in ML – J Reppy - 1999
8 Imprecise Exceptions, Co-Inductively – Andrew Moran, Soeren Lassen, Simon Peyton Jones
32 et al. Report on the programming language Haskell 98. http://haskell.org – S Peyton Jones
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
730 Notions of Computation and Monads – Eugenio Moggi - 1991
55 Representing Layered Monads – Andrzej Filinski - 1999
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
3 Handling Exceptions in Haskell – Alastair Reid - 1999
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001