A Generalization of Exceptions and Control in ML-like Languages

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:	54 - 0 self

Datum	Value	Source
TITLE	A Generalization of Exceptions and Control in ML-Like Languages	INFERENCE
AUTHOR NAME	Carl A. Gunter	SVM HeaderParse 0.1
AUTHOR AFFIL	University of Pennsylvania	SVM HeaderParse 0.2
AUTHOR NAME	Jon G. Riecke	SVM HeaderParse 0.1
AUTHOR AFFIL	AT&T Bell Laboratories	SVM HeaderParse 0.2
ABSTRACT	We add functional continuations and prompts to a language with an ML-style type system. The operators significantly 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. 1	SVM HeaderParse 0.1
YEAR	1995	INFERENCE
VENUE	In Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	12--23	INFERENCE
CITATIONS	28 found	ParsCit 1.0