The Hierarchical Development of a Generic Type Mechanism for Functional Languages.

Published in: Comput. Lang. (1990)

Keyphrases

case study
software engineering
real time
knowledge based systems
hierarchical structure
rapid development
type checking
neural network
expert systems
domain specific
computational model
expressive power
development environment
grammatical inference