Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Explaining Concepts in Compositional Type-Based Program
 

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