RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.

Andrej Bauer Christopher A. Stone

Published in: J. Log. Comput. (2009)

Keyphrases

computer programming
real world
computer science
software tools
analysis tool
programming language
development environment
programming tool
database
machine learning
software engineering
object oriented programming
tool support
object oriented programming language