Sciweavers

FPCA
1995

A Generalization of Exceptions and Control in ML-like Languages

14 years 3 months ago
A Generalization of Exceptions and Control in ML-like Languages
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be themselves used to implement (simple) exceptions. We prove that well-typed terms never produce run-time type errors and give a module for implementing them in the latest version of SML/NJ.
Carl A. Gunter, Didier Rémy, Jon G. Riecke
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where FPCA
Authors Carl A. Gunter, Didier Rémy, Jon G. Riecke
Comments (0)