Parametric effect monads and semantics of effect systems (Q5408455)
From MaRDI portal
scientific article; zbMATH DE number 6282457
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parametric effect monads and semantics of effect systems |
scientific article; zbMATH DE number 6282457 |
Statements
Parametric effect monads and semantics of effect systems (English)
0 references
10 April 2014
0 references
algebrac operation
0 references
computational effect
0 references
effect system
0 references
lax monoidal functor
0 references
monad
0 references
parametric effect monad
0 references
