TY  - RPRT
TI  - Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
AU  - Cezar Ionescu
AU  - Patrik Jansson
PY  - 2016
DO  - 10.4204/eptcs.230.1
UR  - https://arxiv.org/abs/1611.09475
ID  - 1611.09475
ER  -