TY  - RPRT
TI  - Tracing monadic computations and representing effects
AU  - Maciej Piróg
AU  - Jeremy Gibbons
PY  - 2012
DO  - 10.4204/eptcs.76.8
UR  - https://arxiv.org/abs/1202.2922
ID  - 1202.2922
ER  -