Bounded quantification and intersection types. Thesis proposal (1989)

by Benjamin C Pierce