Sign in
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).
Assaf J. Kfoury
Harry G. Mairson
Franklyn A. Turbak
J. B. Wells
Published in:
ICFP (1999)
Keyphrases
</>
extended abstract
databases
neural network
decision trees
management system
finite automata
real world
artificial intelligence
computer vision
multimedia
distributed systems
intelligent systems
computer systems
building blocks
systems require