Type Inference for Pure Type Systems.

Published in: Inf. Comput. (1998)

Keyphrases

complex systems
expert systems
data sets
neural network
case study
image processing
evolutionary algorithm
medical images