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.

• Type: Conference
• Year: 1995
• Where: FPCA
• Authors: Carl A. Gunter, Didier Rémy, Jon G. Riecke
• Keywords: FPCA 1995, Functional Continuations, ML-style Type System, Programming Languages, Run-time Type Errors