ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 17:10 - 19:00 at Moravia III - Discussion: Felleisen v Bracha

In a typeless world, our discussants have spent two decade trying to bring order, and perhaps even soundness, by democratizing types and pushing them where, according to many, they didn’t belong. Matthias Felleisen worked on soft typing for Scheme, semantic contracts, and Typed Racket. Gilad Bracha worked on Strong Talk, optional types for Java, and now Dart. The discussion will shed light on the history of optional type and gradual types, their position in today’s software landscape, and their prospects for world domination.

Mon 6 Jul

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

17:10 - 19:00
Discussion: Felleisen v BrachaSTOP at Moravia III
Types for an Untyped World
S: Matthias Felleisen Northeastern University, S: Gilad Bracha Google, M: Jan Vitek Northeastern University