ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Fri 20 Jul 2018 11:00 - 11:25 at Zurich II - Types Chair(s): Philipp Haller

The enduring popularity of dynamically typed languages has motivated research on \emph{gradual type systems} to allow developers to annotate legacy dynamic code piecemeal. Type soundness for a program which contains a mixture of typed and untyped code cannot mean the traditional absence of errors. While some errors will be caught at type checking time, others can only be caught as the program executes. After a decade of research it is has become difficult to separate and distill the right gradual type systems for each situation and scenario. We introduce a framework for comparing gradual type systems, combining a common source languages with \kafka, a calculus for object-oriented gradual typing, decoupling the semantics of gradual typing from those of the language. We demonstrate the usefulness of this approach by translating idealizations of four different gradually typed semantics into the calculus and discuss the implications of their respective designs.

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

11:00 - 12:40
TypesECOOP Research Papers at Zurich II
Chair(s): Philipp HallerKTH Royal Institute of Technology
11:00
25m
Research paper
KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI
11:25
25m
Research paper
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana CamposUniversity of Lisbon, Portugal, Vasco T. VasconcelosUniversity of Lisbon, Portugal
DOI
11:50
25m
Research paper
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI
12:15
25m
Research paper
Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin, Italy
DOI