Subtypes and quantification

• Authors:

• Dennis M. Volpano

• Affiliations:

• Department of Computer Science, Cornell University, Ithaca, NY

• Venue:
• ACM Transactions on Programming Languages and Systems (TOPLAS)
• Year:
• 1991