A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables (1989)

Cached

Download Links

by Benjamin C. Pierce
Citations:6 - 3 self