Semantic analysis, subtyping and bidirectional type checking
20 Abril 2018, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos
Semantic analysis, subtyping and bidirectional type checking.
Bibliography:
- Lecture notes, Bidirectional Type Checking
- Modern Compiler Implementation in Java, chapter 5.