A bisimulation for type abstraction and recursion.

Eijiro Sumii Benjamin C. Pierce

Published in: J. ACM (2007)

Keyphrases

search algorithm
evolutionary algorithm
databases
real world
computer vision
image processing
case study
high level
data structure
preprocessing
information technology
search space
complex objects
decision theoretic planning