Subtyping Dependent Types (summary)

A subtyping extension of the type system lambdaP is proved to have decidable type-checking and subtyping problems.
David Aspinall and Adriana Compagnoni.
Subtyping Dependent Types (summary).
In Proc. Logic In Computer Science, IEEE, 1996.
Download as ps.

Click here to return to my papers page.

my Vcard
David R. Aspinall, email
Contact GPG key (Instant HOWTO)