Website Search
Find information on spaces, staff, and services.
Find information on spaces, staff, and services.
Abstract: "We introduce an extension of the intersection type discipline in which types may contain variables with upper and lower bounds, present an algorithm for deciding the subtype relation in ...
Abstract: "We introduce an extension of the intersection type discipline in which types may contain variables with upper and lower bounds, present an algorithm for deciding the subtype relation in the extended system, and prove that the algorithm is correct."