What is the meaning of these constant interruptions?

DOI10.1017/S0956796807006363zbMath1129.68410OpenAlexW2112147599MaRDI QIDQ5428373

G. Hutton, Joel W. Wright

Publication date: 22 November 2007

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796807006363

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (5)

Calculating Certified Compilers for Non-deterministic Languages ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ Calculating correct compilers ⋮ Flag-based big-step semantics ⋮ The worker/wrapper transformation

Uses Software

• QuickCheck

Cites Work

• A functional theory of exceptions
• Unchecked exceptions can be strictly more powerful than call/cc
• A syntactic approach to type soundness
• A cost-effective estimation of uncaught exceptions in Standard ML programs
• Direct semantics and exceptions define jumps and coroutines
• Exception handling

This page was built for publication: What is the meaning of these constant interruptions?