Sciweavers

FPCA
1995
13 years 8 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 ...
Carl A. Gunter, Didier Rémy, Jon G. Riecke