Fri 30 Oct 2015 15:30 - 15:52 at Grand Station 1 - 13. Type Systems Chair(s): Nobuko Yoshida

Type rules associate types to expressions given a typing context. As the type checker traverses the expression tree top-down, it extends the typing context with additional context information that becomes available. This way, the typing context coordinates type checking in otherwise independent subexpressions, which inhibits parallelization and incrementalization of type checking. We propose a co-contextual formulation of type rules that only take an expression as input and produce a type and a set of context requirements. Co-contextual type checkers traverse an expression tree bottom-up and merge context requirements of independently checked subexpressions. We describe a method for systematically constructing a co-contextual formulation of type rules from a regular context-based formulation and we show how co-contextual type rules give rise to incremental type checking. Using our method, we derive incremental type checkers for PCF and for extensions that introduce records, parametric polymorphism, and subtyping. Our performance evaluation shows that co-contextual type checking has performance comparable to standard context-based type checking, and incrementalization can improve performance significantly.

Fri 30 Oct

oopsla2015
15:30 - 17:00: OOPSLA - 13. Type Systems at Grand Station 1
Chair(s): Nobuko YoshidaImperial College London, UK
oopsla201515:30 - 15:52
Talk
Sebastian ErdwegTU Darmstadt, Germany, Oliver BračevacTU Darmstadt, Edlira KuciTU Darmstadt, Germany, Matthias KrebsTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Pre-print
oopsla201515:52 - 16:15
Talk
Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University
Link to publication File Attached
oopsla201516:15 - 16:37
Talk
Silvia CrafaUniversità di Padova, Italy, Luca Padovani
DOI
oopsla201516:37 - 17:00
Talk
Matías ToroUniversity of Chile, Chile, Éric TanterUniversity of Chile, Chile
DOI