Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Paper in proceeding, 2016
teaching
education
course
Types
Author
Cezar Ionescu
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Patrik Jansson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 230 1-15Subject Categories
Didactics
Computer Science
Mathematical Analysis
Areas of Advance
Information and Communication Technology
Roots
Basic sciences
Learning and teaching
Pedagogical work
DOI
10.4204/EPTCS.230.1