TY  - RPRT
TI  - Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
AU  - Patrik Jansson
AU  - Sólrún Halla Einarsdóttir
AU  - Cezar Ionescu
PY  - 2019
DO  - 10.4204/eptcs.295.6
UR  - https://arxiv.org/abs/1908.01572
ID  - 1908.01572
ER  -