@inproceedings{TFPIE-2015-IonescuJ,
	author        = "Cezar Ionescu and Patrik Jansson",
	booktitle     = "{Proceedings of the Fourth International Workshop on Trends in Functional Programming in Education}",
	doi           = "10.4204/EPTCS.230.1",
	ee            = "http://arxiv.org/abs/1611.09475",
	pages         = "1--15",
	title         = "{Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming}",
	year          = 2016,
}