Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.
Cezar IonescuPatrik JanssonPublished in: TFPIE (2016)
Keyphrases
- mathematical analysis
- functional programming
- programming language
- domain specific languages
- functional language
- general purpose
- object oriented programming
- quantifier elimination
- object oriented
- execution model
- logic programming
- high level
- test cases
- databases
- training data
- data types
- database systems
- information systems