Intensional Polymorphism in Type-Erasure Semantics
An Old Problem
Typed Subscript operator
C subscript operator
Intensional Type Analysis
Type Passing Semantics
Performance and Safety
Safety
Problems of Type Passing
Complexity
Inefficiency
Loss of Abstraction
Solution
Type Erasure Semantics
Formalization
Related Work
Areas for Future Work
Email: sweirich@cs.cornell.edu
Home Page: http://www.cs.cornell.edu/home/sweirich
Download presentation source