Elementary Type Inference.

Jinxu Zhao, Bruno C. d. S. Oliveira

Browse the full ECOOP paper archive.