Wed 7 Nov 2018 10:52 - 11:15 at Studio 1 - Types and Effects Chair(s): Colin Gordon

Union and intersection types are both simple and powerful but have seen little adoption. The problem is that, so far, subtyping algorithms for type systems extended with union and intersections have typically been either unreliable or insufficiently expressive. We present a simple and composable framework for empowering union and intersection types so that they interact with the rest of the type system in an intuitive and yet still decidable manner. We demonstrate the utility of this framework by illustrating the impact it has made throughout the design of the Ceylon programming language developed by Red Hat.

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: OOPSLA - Types and Effects at Studio 1
Chair(s): Colin GordonDrexel University
splash-2018-OOPSLA10:30 - 10:52
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
splash-2018-OOPSLA10:52 - 11:15
Fabian MuehlboeckCornell University, Ross TateCornell University
Link to publication DOI Pre-print
splash-2018-OOPSLA11:15 - 11:37
Francesco Zappa NardelliInria, Julia BelyakovaNortheastern University, USA, Artem PelenitsynNortheastern University, Benjamin ChungNortheastern University, Jeff BezansonJulia Computing, Jan VitekNortheastern University
DOI Media Attached
splash-2018-OOPSLA11:37 - 12:00
Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI File Attached