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.
David R. Aspinall,
email
david.aspinall@ed.ac.uk.
Contact
GPG key
(Instant HOWTO)
