Pages that link to "Item:Q2767981"
From MaRDI portal
The following pages link to Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (Q2767981):
Displaying 11 items.
- The coinductive resumption monad (Q283770) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- Modular verification of programs with effects and effects handlers (Q1996433) (← links)
- Modular verification of programs with effects and effect handlers in Coq (Q2024352) (← links)
- On a monadic semantics for freshness (Q2566026) (← links)
- The worker/wrapper transformation (Q3616448) (← links)
- Parametricity for Haskell with Imprecise Error Semantics (Q3637203) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- (Q5028467) (← links)
- Transparent fault tolerance for scalable functional computation (Q5371963) (← links)
- Flexible dynamic information flow control in the presence of exceptions (Q5371997) (← links)