Specification and Implementation of Type Systems (ECOOP and ISSTA 2021 - Discussions with Experts)

Write a Blog >>

Sun 11 - Sat 17 July 2021 Online

Who

Eelco Visser, Sebastian Erdweg

Track

ECOOP and ISSTA 2021 Discussions with Experts

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 15 Jul 2021 20:20 - 21:00 at Discussions with Experts (room 2) - Specification and Implementation of Type Systems Chair(s): Sebastian Erdweg, Eelco Visser

Abstract

Are type systems the new “solved problem that isn’t solved”? What functionality should a modern type checker offer anyways (or why you want more than error messages)? And what are the latest developments in the field? Join our discussion of the latest advances in specification and implementation of type systems.

Eelco Visser^{† 2022}

Delft University of Technology

Sebastian Erdweg

JGU Mainz