The following pages link to A functional theory of exceptions (Q913477):
Displaying 18 items.
- Constructing a program with exceptions (Q674271) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Exits in the refinement calculus (Q1805400) (← links)
- Conditional composition (Q1906041) (← links)
- Exceptional syntax (Q2757081) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- A System F with Call-by-Name Exceptions (Q3519511) (← links)
- The worker/wrapper transformation (Q3616448) (← links)
- Comprehending monads (Q4279255) (← links)
- Contributions to a computational theory of policy advice and avoidability (Q4577808) (← links)
- (Q4668854) (← links)
- A system of constructor classes: overloading and implicit higher-order polymorphism (Q4836019) (← links)
- Sparse matrix representations in a functional language (Q4880528) (← links)
- Fault-tolerant functional reactive programming (extended version) (Q5120226) (← links)
- Calculating correct compilers (Q5371953) (← links)
- What is the meaning of these constant interruptions? (Q5428373) (← links)
- On extensibility of proof checkers (Q6061878) (← links)