Dependent Types with Explicit Substitutiuons: A Meta-theoretical development.

César A. Muñoz

Published in: TYPES (1996)

Keyphrases

case study
rapid development
software engineering
data mining
information processing
rapid prototyping
future development
development environment
meta level
practical application
design principles
development process
domain knowledge
search algorithm
optimal solution
multi agent
multiscale
information systems