Preciseness of Subtyping on Intersection and Union Types.

Mariangiola Dezani-Ciancaglini Silvia Ghilezan

Published in: RTA-TLCA (2014)

Keyphrases

multimedia
databases
neural network
genetic algorithm
metadata
decision trees
high level
scheduling problem
multiple types