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

Many functions in libraries and APIs have the notion of optional parameters, which can be mapped onto optional properties of an object representing the parameters. The fact that properties are optional opens up the possibility for APIs and libraries to design a complex “dependency logic” between properties: for example, some properties may be mutually exclusive, some properties may depend on others, etc. Existing type systems are not strong enough to express such dependency logic, which can lead to the creation of invalid objects and accidental usage of absent properties. In this paper we propose TypeScriptIPC : a variant of TypeScript with a novel type system that enables programmers to express complex presence constraints on properties. We prove that it is sound with respect to enforcing complex dependency logic defined by the programmer when an object is created, modified or accessed.

Fri 20 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:40
TypesECOOP Research Papers at Zurich II
Chair(s): Philipp Haller KTH Royal Institute of Technology
11:00
25m
Research paper
KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin W Chung Northeastern University, Paley Li Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
DOI
11:25
25m
Research paper
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana Campos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal
DOI
11:50
25m
Research paper
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie Oostvogels Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
12:15
25m
Research paper
Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin, Italy
DOI