Subtyping with Union Types, Intersection Types and Recursive Types.

Flemming M. Damm

Published in: TACS (1994)

Keyphrases

data sets
machine learning
search engine
real time
data mining
artificial intelligence
information systems
case study
object recognition
computer science
management system
medical images