Outline
Introduction
Basic Ideas
The Type System
Type Judgment & Typing Rules
Correctness & Expressiveness
Type Checking
Related Work
Conclusion
Previous slide
Next slide
Back to first slide
View graphic version