Principle Type Schemes for Gradual Programs

Ronald Garcia, University of British Columbia
23 Diciembre, 2015 - 11:00
Auditorio 315, Edificio Beauchef Poniente
Éric Tanter - PLEIAD

Gradual typing is a principled approach to designing programming languages that  seamlessly combine static and dynamic checking. For gradual typing to have impact on modern functional programming languages,  it must coexist with implicit typing, where  programs do not need many, if any, typing annotations, and they are statically checked by an algorithm that infers type information.  In this talk a brief introduction to implicit typing and type inference will be presented.  Then,  building on prior work,  a new foundation forgradual implicit typing and a corresponding type inference algorithm will be described.

(This work appeared at POPL 2015.)