Date of Original Version

1989

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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."

Share

COinS