A Generalization of Exceptions and Control in ML-like Languages (1995)

by Carl A. Gunter , Didier Rémy , Jon G. Riecke
Venue:IN PROC. FPCA
Citations:61 - 0 self

Active Bibliography

2 Return Types for Functional Continuations – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1318 Monads for functional programming – Philip Wadler - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
13 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
734 Notions of Computation and Monads – Eugenio Moggi - 1991
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
10 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations, Report RS-05-16 – D Biernacki, O Danvy, K Millikin - 2005