Areas for Future Work

• Type representations are hard coded into the calculus

• Can’t analyze quantified types, recursive types or higher order type constructors

• Interaction with subtyping

Previous slide

Back to first slide

View graphic version