References

  1. Robert Alexander Adams & Christopher Essex (2010): Calculus: a complete course, 7th edition. Pearson Canada.
  2. Federico Biancuzzi (2009): Masterminds of programming: Conversations with the creators of major programming languages. O'Reilly Media, Inc..
  3. Richard Bird (2014): Thinking Functionally with Haskell. Cambridge University Press, doi:10.1017/CBO9781316092415.
  4. Raymond Boute (2009): The decibel done right: a matter of engineering the math. Antennas and Propagation Magazine, IEEE 51(6), pp. 177–184, doi:10.1109/MAP.2009.5433137.
  5. Edwin Brady (2013): Idris, a general-purpose dependently typed programming language: Design and implementation. Journal of Functional Programming 23(05), pp. 552–593, doi:10.1017/S095679681300018X.
  6. Rene Descartes (1954): The Geometry, translated by E. Smith and ML Latham.
  7. Charles Henry Edwards, David E Penney & David Calvis (2008): Elementary Differential Equations, 6h edition. Pearson Prentice Hall Upper Saddle River, NJ.
  8. Martin Fowler (2010): Domain-specific languages. Pearson Education.
  9. Jeremy Gibbons (2013): Functional Programming for Domain-Specific Languages. In: Viktória Zsók, Zoltán Horváth & Lehel Csató: Central European Functional Programming - Summer School on Domain-Specific Languages, LNCS 8606. Springer, pp. 1–28, doi:10.1007/978-3-319-15940-9_1.
  10. Jeremy Gibbons & Nicolas Wu (2014): Folding Domain-specific Languages: Deep and Shallow Embeddings (Functional Pearl). In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, ICFP '14. ACM, New York, NY, USA, pp. 339–347, doi:10.1145/2628136.2628138.
  11. David Gries & Fred B Schneider (1993): A logical approach to discrete math. Springer, doi:10.1007/978-1-4757-3837-7.
  12. David Gries & Fred B Schneider (1995): Teaching math more effectively, through calculational proofs. American Mathematical Monthly, pp. 691–697, doi:10.2307/2974638.
  13. Paul Halmos (1985): I want to be a mathematician. Springer-Verlag New York, doi:10.1007/978-1-4612-1084-9.
  14. Cezar Ionescu & Patrik Jansson (2013): Dependently-typed programming in scientific computing. In: Implementation and Application of Functional Languages. Springer Berlin Heidelberg, pp. 140–156, doi:10.1007/978-3-642-41582-1_9.
  15. Cezar Ionescu & Patrik Jansson (2013): Testing versus proving in climate impact research. In: Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES\begingroupłet [Pleaseinsert\PrerenderUnicode’intopreamble]11) 19, pp. 41–54, doi:10.4230/LIPIcs.TYPES.2011.41.
  16. Cezar Ionescu & Patrik Jansson (2015): Domain-Specific Languages of Mathematics. Available at https://www.student.chalmers.se/sp/course?course_id=24179. Course plan for DAT325, Chalmers University of Technology.
  17. Roger Kraft (2004): Functions and Parameterizations as Objects to Think With. In: Maple Summer Workshop, July 2004, Wilfrid Laurier University, Waterloo, Ontario, Canada.
  18. M Douglas McIlroy (1999): Functional pearl: Power series, power serious. J. of Functional Programming 9, pp. 323–335, doi:10.1017/S0956796899003299.
  19. M Douglas McIlroy (2001): The music of streams. Information Processing Letters 77(2), pp. 189–195, doi:10.1016/S0020-0190(00)00201-5.
  20. Oege de Moor & Jeremy Gibbons (2000): Pointwise Relational Programming. In: Teodor Rus: Algebraic Methodology and Software Technology, Lecture Notes in Computer Science 1816. Springer Berlin Heidelberg, pp. 371–390, doi:10.1007/3-540-45499-3_27.
  21. Shin-Cheng Mu, Hsiang-Shang Ko & Patrik Jansson (2009): Algebra of programming in Agda: Dependent types for relational program derivation. Journal of Functional Programming 19(5), pp. 545, doi:10.1017/S0956796809007345.
  22. Ulf Norell (2007): Towards a practical programming language based on dependent type theory 32. Chalmers University of Technology, doi:10.1.1.436.7331.
  23. D Pavlovi\'c & V. Pratt (1999): On coalgebra of real numbers. Electronic Notes in Theoretical Computer Science 19, pp. 103–117, doi:10.1016/S1571-0661(05)80272-5.
  24. Walter Rudin (1976): Principles of Mathematical Analysis, 3rd edition. McGraw-Hill Publishing Co..
  25. Gerald Jay Sussman & Jack Wisdom (2002): The role of programming in the formulation of ideas. Artificial Intelligence Laboratory memo AIM-2002-018. MIT.
  26. Gerald Jay Sussman & Jack Wisdom (2013): Functional Differential Geometry. MIT Press.
  27. J Tolvanen (2011): Industrial Experiences on Using DSLs in Embedded Software Development. In: Proceedings of Embedded Software Engineering Kongress (Tagungsband), December 2011, doi:10.1.1.700.1924.
  28. Philip Wadler (2003): A prettier printer. In: Oege de Moor, Jeremy Gibbons & Geraint Jones: The Fun of Programming. Palgrave Macmillan, pp. 223–243, doi:10.1.1.19.635.
  29. Charles Wells (1995): Communicating mathematics: Useful ideas from computer science. American Mathematical Monthly, pp. 397–408, doi:10.2307/2975030.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org