A functional theory of exceptions
From MaRDI portal
Publication:913477
DOI10.1016/0167-6423(90)90056-JzbMath0699.68022WikidataQ59447202 ScholiaQ59447202MaRDI QIDQ913477
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items
Comprehending monads, Unnamed Item, A system of constructor classes: overloading and implicit higher-order polymorphism, Sparse matrix representations in a functional language, What is the meaning of these constant interruptions?, Typed generic traversal with term rewriting strategies, A new framework for declarative programming, Exits in the refinement calculus, A System F with Call-by-Name Exceptions, The worker/wrapper transformation