Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

FPCA
1995

favoriteEmaildiscussreport

108views Programming Languages» more FPCA 1995»

A Generalization of Exceptions and Control in ML-like Languages

13 years 8 months ago

A Generalization of Exceptions and Control in ML-like Languages

Download seclab.uiuc.edu

We add functional continuations and prompts to a language with an ML-style type system. The operators signicantly 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.

Carl A. Gunter, Didier Rémy, Jon G. Riecke

Real-time Traffic

FPCA 1995 | Functional Continuations | ML-style Type System | Programming Languages | Run-time Type Errors |

claim paper

Related Content

» Asynchronous exception propagation in blocked tasks

» Improving robustness of evolving exceptional behaviour in executable models

» Efficient exception handling in Java bytecodetoC aheadoftime compiler for embedded systems

» Functional pearl the great escape or how to jump the border without getting caught

» Catch me if you can permissive yet secure error handling

» Adding delimited and composable control to a production programming environment

» Ordering multiple continuations on the stack

» Wild control operators

» Continuations from generalized stack inspection

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	FPCA
Authors	Carl A. Gunter, Didier Rémy, Jon G. Riecke

Comments (0)