@book(adams2010calculus,
 author       = {Robert Alexander Adams and Christopher Essex},
 year         = {2010},
 title        = {Calculus: a complete course},
 edition      = {7th},
 publisher    = {Pearson Canada},
)
@inproceedings(EPTCS270.2,
 author       = {Curtis d'Alves and Tanya Bouman and Christopher Schankula and Jenell Hogg and Levin Noronha and Emily Horsman and Rumsha Siddiqui and Christopher Kumar Anand},
 year         = {2018},
 title        = {Using Elm to Introduce Algebraic Thinking to K-8 Students},
 editor       = {Simon Thompson},
 booktitle    = {Proceedings Sixth Workshop on Trends in Functional Programming in Education},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {270},
 publisher    = {Open Publishing Association},
 pages        = {18--36},
 doi          = {10.4204/EPTCS.270.2},
)
@inproceedings(DBLP:journals/corr/IonescuJ16,
 author       = {Cezar Ionescu and Patrik Jansson},
 year         = {2016},
 title        = {Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming},
 editor       = {Jeuring and McCarthy},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.230.1},
)
@unpublished(JanssonIonescuDSLsofMathCourse,
 author       = {Patrik Jansson and Cezar Ionescu},
 year         = {2018},
 title        = {Domain Specific Languages of Mathematics: Lecture Notes},
 note         = {Available from \url{https://github.com/DSLsofMath/DSLsofMath}},
)
@proceedings(DBLP:journals/corr/JeuringM16,
 editor       = {Johan Jeuring and Jay McCarthy},
 year         = {2016},
 title        = {Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis, France and University of Maryland College Park, USA, 2nd June 2015 and 7th June 2016},
 series       = {{EPTCS}},
 volume       = {230},
 doi          = {10.4204/EPTCS.230},
)
@techreport(JonssonTSLwithDLS2016,
 author       = {Jacob Jonsson and Peter Ngo and Cecilia Rosvall and Filip Lindahl and Joakim Olsson},
 year         = {2016},
 title        = {Programmering som undervisningsverktyg f\IeC{\"o}r Transformer, signaler och system. Utvecklingen av l\IeC{\"a}romaterialet TSS med DSL},
 type         = {Technical Report},
)
@inproceedings(EPTCS106.3,
 author       = {Prabhakar Ragde},
 year         = {2013},
 title        = {Mathematics Is Imprecise},
 editor       = {Marco T. Moraz\'an and Peter Achten},
 booktitle    = {Proceedings First International Workshop on Trends in Functional Programming in Education},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {106},
 publisher    = {Open Publishing Association},
 pages        = {40--49},
 doi          = {10.4204/EPTCS.106.3},
)
@inproceedings(Schanzer:2018:ABA:3159450.3159498,
 author       = {Emmanuel Schanzer and Kathi Fisler and Shriram Krishnamurthi},
 year         = {2018},
 title        = {Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems},
 booktitle    = {Proceedings of the 49th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE '18},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {8--13},
 doi          = {10.1145/3159450.3159498},
)
@inproceedings(Schanzer:2015:TSS:2676723.2677238,
 author       = {Emmanuel Schanzer and Kathi Fisler and Shriram Krishnamurthi and Matthias Felleisen},
 year         = {2015},
 title        = {Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap},
 booktitle    = {Proceedings of the 46th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE '15},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {616--621},
 doi          = {10.1145/2676723.2677238},
)
@book(sussman2013functional,
 author       = {Gerald Jay Sussman and Jack Wisdom},
 year         = {2013},
 title        = {Functional Differential Geometry},
 publisher    = {MIT Press},
)
@inproceedings(DBLP:journals/corr/Walck14,
 author       = {Scott N. Walck},
 year         = {2014},
 title        = {Learn Physics by Programming in Haskell},
 editor       = {James Caldwell and Philip K. F. H{\"{o}}lzenspies and Peter Achten},
 booktitle    = {Proceedings 3rd International Workshop on Trends in Functional Programming in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May 2014.},
 series       = {{EPTCS}},
 volume       = {170},
 pages        = {67--77},
 doi          = {10.4204/EPTCS.170.5},
)
@inproceedings(DBLP:journals/corr/Walck16,
 author       = {Scott N. Walck},
 year         = {2016},
 title        = {Learn Quantum Mechanics with Haskell},
 editor       = {Jeuring and McCarthy},
 pages        = {31--46},
 doi          = {10.4204/EPTCS.230.3},
)
@techreport(LearnYouaPhysicsBSc2018,
 author       = {Bj\IeC{\"o}rn Werner and Sj\IeC{\"o}str\IeC{\"o}m, Erik and Johan Johansson and Lundstr\IeC{\"o}m, Oskar},
 year         = {2018},
 title        = {Learn You a Physics for Great Good},
 type         = {Technical Report},
 note         = {Learning material available from \url{https://dslsofmath.github.io/BScProj2018/}},
)