Type Assignment for Intersections and Unions in Call-by-Value Languages.

Jana Dunfield Frank Pfenning

Published in: FoSSaCS (2003)

Keyphrases

type checking
expressive power
pattern languages
artificial intelligence
multi agent systems
multiple types
language independent
database
multiscale
multi agent
expert systems
xml documents
query processing
knowledge base
learning algorithm
machine learning
data mining
neural network