Higher-Order Intersection Types and Multiple Inheritance.

Adriana B. Compagnoni Benjamin C. Pierce

Published in: Math. Struct. Comput. Sci. (1996)

Keyphrases

complex objects
multiple inheritance
higher order
markov random field
pairwise
inheritance reasoning
high order
artificial intelligence
multi class
general purpose
key features