Examples and Results from a BSc-level course on domain specific languages of mathematics
Paper i proceeding, 2019
Haskell
Correctness
Formalisation
Types
Semantics
Scope
Didactics
Syntax
Computer science education
Functional programming
Calculus
Författare
Patrik Jansson
Chalmers, Data- och informationsteknik
Sólrún Einarsdóttir
Chalmers, Data- och informationsteknik, Funktionell programmering
Cezar Ionescu
University of Oxford
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 295 79-90Gothenburg, Sweden,
Ämneskategorier
Didaktik
Lärande
Pedagogiskt arbete
DOI
10.4204/EPTCS.295.6