TY  - RPRT
TI  - Proceedings Fourth Workshop on Mathematically Structured Functional Programming
AU  - James Chapman
AU  - Paul Blain Levy
PY  - 2012
DO  - 10.4204/eptcs.76
UR  - https://arxiv.org/abs/1202.2407
ID  - 1202.2407
ER  -