Principal Type Schemes for an Extended Type Theory.

Simona Ronchi Della Rocca Betti Venneri

Published in: Theor. Comput. Sci. (1984)

Keyphrases

neural network
web services
real time
machine learning
genetic algorithm
e learning
image processing
case study
three dimensional
high level
multi agent
lower bound