The following pages link to A functional theory of exceptions (Q913477):
Displayed 10 items.
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Exits in the refinement calculus (Q1805400) (← links)
- A System F with Call-by-Name Exceptions (Q3519511) (← links)
- The worker/wrapper transformation (Q3616448) (← links)
- Comprehending monads (Q4279255) (← 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)
- What is the meaning of these constant interruptions? (Q5428373) (← links)