Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Paper i proceeding, 2016
teaching
education
course
Types
Författare
Cezar Ionescu
Chalmers, Data- och informationsteknik, Programvaruteknik
Patrik Jansson
Chalmers, Data- och informationsteknik, Programvaruteknik
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 230 1-15Ämneskategorier
Didaktik
Datavetenskap (datalogi)
Matematisk analys
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
Lärande och undervisning
Pedagogiskt arbete
DOI
10.4204/EPTCS.230.1