Union and intersection types to support both dynamic and static typing.

Francisco Ortin Miguel García

Published in: Inf. Process. Lett. (2011)

Keyphrases

neural network
website
multi agent
decision trees
end users
learning algorithm
multiscale
object oriented
knowledge management
dynamically changing
dynamic graph