[PDF][PDF] A generalization of exceptions and control in ML-like languages
Proceedings of the seventh international conference on functional …, 1995•dl.acm.org
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.
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.
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.