TY  - RPRT
TI  - Layer by layer - Combining Monads
AU  - Fredrik Dahlqvist
AU  - Louis Parlant
AU  - Alexandra Silva
PY  - 2018
UR  - https://arxiv.org/abs/1712.01113
ID  - 1712.01113
ER  -