TY  - RPRT
TI  - Proceedings 5th Workshop on Mathematically Structured Functional Programming
AU  - Paul Levy
AU  - Neel Krishnaswami
PY  - 2014
DO  - 10.4204/eptcs.153
UR  - https://arxiv.org/abs/1406.1534
ID  - 1406.1534
ER  -