SPLASH 2016 (series) / OOPSLA / Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers
Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers
We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down)casting. Fortunately, parametric polymorphism was not integrated into the Java Virtual Machine (JVM), so these examples do not demonstrate any unsoundness of the JVM. Nonetheless, we discuss broader implications of these findings on the field of programming languages.
Fri 4 Nov
10:30 - 12:10: OOPSLA - Typing, in Practice at Matterhorn 1 Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | Calvin LoncaricUniversity of Washington, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Cole SchlesingerSamsung Research America DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | Stephen KellUniversity of Cambridge DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:10 Talk | Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||