Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online

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.

Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

20:20 - 21:00
Specification and Implementation of Type SystemsDiscussions with Experts at Discussions with Experts (room 2)
Chair(s): Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology
20:20
40m
Panel
Specification and Implementation of Type Systems
Discussions with Experts
Eelco Visser Delft University of Technology, Sebastian Erdweg JGU Mainz