Exceptions, continuations and macro-expressiveness

DOI10.1007/3-540-45927-8_10MaRDI QIDQ4738351zbMATH OpenFDO

Authors James Laird

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2305/23050133.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• On exceptions versus continuations in the presence of state
• Using a continuation twice and its implications for the expressive power of call/cc
• Unchecked exceptions can be strictly more powerful than call/cc
• A simple calculus of exception handling
• scientific article; zbMATH DE number 3872649

Cited in

(10)

• Using a continuation twice and its implications for the expressive power of call/cc
• Unchecked exceptions can be strictly more powerful than call/cc
• Direct semantics and exceptions define jumps and coroutines
• scientific article; zbMATH DE number 3872649 (Why is no real title available?)
• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• On exceptions versus continuations in the presence of state
• Combining and relating control effects and their semantics
• Region-based resource management and lexical exception handlers in continuation-passing style
• The functional machine calculus. III: Control
• Combining algebraic effects with continuations

This page was built for publication: Exceptions, continuations and macro-expressiveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738351)