TY  - RPRT
TI  - Proceedings Ninth Workshop on Mathematically Structured Functional Programming
AU  - Jeremy Gibbons
AU  - Max S. New
PY  - 2022
DO  - 10.4204/eptcs.360
UR  - https://arxiv.org/abs/2206.09534
ID  - 2206.09534
ER  -