A functional theory of exceptions

DOI10.1016/0167-6423(90)90056-JMaRDI QIDQ913477zbMATH OpenOpenAlexWikidataFDO

Authors Mike Spivey

Publication date 1990

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(90)90056-j

zbMATH Keywords

functional programmingexceptionslazy evaluationabstract data typeExceptions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Mathematics of Program Construction
• scientific article; zbMATH DE number 3907744
• Constructing a program with exceptions
• scientific article; zbMATH DE number 1497772
• Exception analysis for non-strict languages

Cited in

(21)

• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• A new framework for declarative programming
• The worker/wrapper transformation
• Comprehending monads
• On extensibility of proof checkers
• Exits in the refinement calculus
• Contributions to a computational theory of policy advice and avoidability
• Typed generic traversal with term rewriting strategies
• Structured handling of scoped effects
• Unifying theories of programming with monads
• Conditional composition
• A System F with Call-by-Name Exceptions
• Exceptional syntax
• A system of constructor classes: overloading and implicit higher-order polymorphism
• scientific article; zbMATH DE number 2040587 (Why is no real title available?)
• Mathematics of Program Construction
• Fault-tolerant functional reactive programming (extended version)
• Sparse matrix representations in a functional language
• Calculating correct compilers
• What is the meaning of these constant interruptions?
• Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions

This page was built for publication: A functional theory of exceptions

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