Program Specification and Development in Standard ML.

Donald Sannella Andrzej Tarlecki

Published in: POPL (1985)

Keyphrases

programming environments
high level
software engineering
practical experience
real world
decision support
development process
databases
data mining
case study
software systems
rapid development
development environment
development environments