InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference.

Senxi Li, Tetsuro Yamazaki, Shigeru Chiba

Browse the full ECOOP paper archive.