Carnegie Mellon University
Browse
file.pdf (1.31 MB)

A decision procedure for the subtype relation on intersection types with bounded variables

Download (1.31 MB)
journal contribution
posted on 2008-08-01, 00:00 authored by Benjamin C. Pierce
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."

History

Date

2008-08-01

Usage metrics

    Exports