Write a Blog >>
Fri 23 Jun 2017 11:20 - 11:45 at Auditorium, Vertex Building - Types and Effects Chair(s): Philipp Haller

Type checkers of object-oriented languages use class tables to coordinate type checking of subexpressions. This couples the type checking of subexpressions and prevents compositional and incremental type checking. Recent work achieved incremental type checking for PCF by removing contexts through co-contextual typing rules. However, that work does not cover key features of Featherweight Java: Subtype polymorphism, nominal typing, and implementation inheritance. This paper fills this gap with a formulation of co-contextual typing rules for Featherweight Java that replace the class table, which in Featherweight Java encode information about subtype polymorphism, nominal typing, and implementation inheritance, with a dual concept of class table requirements and class table operations with dual operations on class table requirements. We prove the equivalence of typing rules of contextual and co-contextual Featherweight Java. Also, we provide an incremental type-checker and a description of the optimizations we employed to the type-checker implementation for co-contextual FJ, in order to have an efficient incrementalization.

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Types and EffectsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Philipp HallerKTH Royal Institute of Technology
10:30
25m
Talk
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication Media Attached
10:55
25m
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin GordonDrexel University
Link to publication Pre-print Media Attached
11:20
25m
Talk
A Co-contextual Type Checker for Featherweight Java
ECOOP Research Papers
Edlira KuciTU Darmstadt, Germany, Sebastian ErdwegTU Delft, Oliver BračevacTU Darmstadt, Andi BejleriTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Media Attached
11:45
25m
Talk
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP Research Papers
Alceste ScalasImperial College London, Ornela DardhaUniversity of Glasgow, Raymond HuImperial College London, Nobuko YoshidaImperial College London
Link to publication Media Attached