Imperative Programming with Dependent Types.

Published in: LICS (2000)

Keyphrases

programming language
special case
image processing
evolutionary algorithm
development environment
information retrieval
web services
case study
software engineering