Generalization of exceptions and control in ML-like languages

Carl A. Gunter, Didier Remy, Jon G. Riecke

Research output: Contribution to conferencePaperpeer-review

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.

Original languageEnglish (US)
Pages12-23
Number of pages12
StatePublished - Jan 1 1995
Externally publishedYes
EventConference Record of Conference on Functional Programming Languages and Computer Architecture - La Jolla, CA, USA
Duration: Jun 25 1995Jun 28 1995

Other

OtherConference Record of Conference on Functional Programming Languages and Computer Architecture
CityLa Jolla, CA, USA
Period6/25/956/28/95

ASJC Scopus subject areas

  • Engineering(all)

Cite this