RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
Andrej BauerChristopher A. StonePublished in: CiE (2007)
Keyphrases
- computer programming
- programming language
- software tools
- user friendly
- computer science
- learning process
- neural network
- programming tool
- computer assisted instruction
- object oriented programming
- open source
- computer programs
- software engineering
- artificial intelligence
- real world
- scripting language
- data sets
- object oriented programming language