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

Documents Related by Co-Citation

1224 Introduction to functional programming – Philip Wadler - 1995
184 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
573 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
490 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
45 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006
57 Type-Based Analysis of Uncaught Exceptions – Xavier Leroy, François Pessaux - 1998
120 Concurrent Programming in ML – John H Reppy - 1999
401 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
8 Imprecise Exceptions, Co-Inductively – Andrew Moran, Soeren Lassen, Simon Peyton Jones
31 et al. Report on the Programming Language Haskell 98 – S L Peyton Jones, J Hughes - 1999
180 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
303 Denotational Semantics: A Methodology for Language Development – D A SCHMIDT - 1986
6 Views: An Extension to Haskell Pattern Matching. http://haskell.org/development/views.html – F W Burton, E Meijer, P Sansom, S Thompson, P Wadler - 1996
119 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
13 First Class Patterns – Mark Tullsen - 2000
874 A theory of type polymorphism in programming – Robin Milner - 1978
114 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
210 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
651 Notions of Computation and Monads – Eugenio Moggi - 1991