Summary: Explaining Concepts in
Compositional Type-Based Program
Analysis:
Principality, Intersection Types,
Expansion, etc.
Joe Wells
Heriot-Watt University
Sébastien Carlier and Christian Haack helped with these overheads.
Explaining Concepts in Compositional Type-Based Program Analysis:Principality, Intersection Types, Expansion, etc. ­ p.1/46
Overview.
Basic concepts of types.
Type polymorphism.
Compositionality and principality.
Case study: Type error slicing made possible by
compositionality.
Case study: Getting principal typings in the Ð-calculus
with polymorphism.
Conclusion.
Explaining Concepts in Compositional Type-Based Program Analysis:Principality, Intersection Types, Expansion, etc. ­ p.2/46
What are types?

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics