Lightweight monadic programming in ML (Q5176958)
From MaRDI portal
scientific article; zbMATH DE number 6411528
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lightweight monadic programming in ML |
scientific article; zbMATH DE number 6411528 |
Statements
Lightweight monadic programming in ML (English)
0 references
5 March 2015
0 references
coercion
0 references
coherence
0 references
monad
0 references
rewriting
0 references
type
0 references