Efficient Recursive Subtyping.

Dexter Kozen Jens Palsberg Michael I. Schwartzbach

Published in: POPL (1993)

Keyphrases

cost effective
computer vision
special case
genetic algorithm
learning environment
computational complexity
information technology
search space
high efficiency