DSLs of mathematics paper

notes-chapter-1.md

@@ -14,3 +14,4 @@ The [Bootstrap](http://www.bootstrapworld.org/) project uses games programming f
 
 The book [Structure and Interpretation of Classical Mechanics](https://mitpress.mit.edu/books/structure-and-interpretation-classical-mechanics) teaches classical mechanics using a computational notation. The full text is available ([HTML](https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/), [PDF](https://docs.google.com/viewer?a=v&pid=explorer&chrome=true&srcid=0BxVCLS4f8Sg5MDIzMzJmZDQtZGEzMS00NjgxLWE0MjYtMmNlMDA5ZGNmMjg2&hl=en&authkey=CLf8o7YK)), as is [complementary material](http://ocw.mit.edu/courses/earth-atmospheric-and-planetary-sciences/12-620j-classical-mechanics-a-computational-approach-fall-2008/) from the corresponding MIT course. The authors have later used the same computational approach for teaching [Functional Differential Geometry](https://mitpress.mit.edu/books/functional-differential-geometry), which is also avaiable on-line ([PDF](https://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf)).
 
+The paper [Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming](http://www.cse.chalmers.se/~patrikj/papers/Ionescu_Jansson_DSLsofMath_TFPIE_2015_paper_preprint.pdf) by Ionescu and Jansson describes how a programming point of view can help in teaching mathematics.