Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)

Authors:
Alexander Aiken;Edward L. Wimmers;Jens Palsberg
Affiliations:
-;-;-
Venue:
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Year:
1997

Citing 0
Cited 3

Type-base flow analysis: from polymorphic subtyping to CFL-reachability

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The first-order theory of subtyping constraints

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint Abstractions

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects

Quantified Score

Hi-index	0.00

Visualization

Abstract