scientific article
From MaRDI portal
Publication:2767981
zbMath0989.68021MaRDI QIDQ2767981
Publication date: 30 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Semantics of value recursion for Monadic Input/Output ⋮ The coinductive resumption monad ⋮ Constructing language processors with algebra combinators ⋮ Transparent fault tolerance for scalable functional computation ⋮ Flexible dynamic information flow control in the presence of exceptions ⋮ Unnamed Item ⋮ Modular verification of programs with effects and effects handlers ⋮ Modular verification of programs with effects and effect handlers in Coq ⋮ The worker/wrapper transformation ⋮ Parametricity for Haskell with Imprecise Error Semantics ⋮ On a monadic semantics for freshness
Uses Software
This page was built for publication:
