Specification and Implementation of Type Systems
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 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
20:20 - 21:00
|Specification and Implementation of Type Systems|
Discussions with Experts