Bounded quantification and intersection types. Thesis proposal (unpublished (1989)

by Benjamin Pierce