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
1305 Monads for functional programming – Philip Wadler - 1995
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
51 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006
61 Type-Based Analysis of Uncaught Exceptions – Xavier Leroy, Fran├žois Pessaux - 1998
142 Concurrent Programming in ML – John H 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
308 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
325 Denotational Semantics: A Methodology for Language Development – D A Schmidt - 1986
234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
120 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
536 The Implementation of Functional Programming Languages – Simon L Peyton Jones - 1987
3 Handling Exceptions in Haskell – Alastair Reid - 1999
98 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001