Type Inference with Bounded Quantification (1998)

by Dilip Sequeira