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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Types and EffectsOOPSLA at Studio 1
Chair(s): Colin Gordon Drexel University
10:30
22m
Talk
Effect Handlers for the Masses
OOPSLA
Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany
10:52
22m
Talk
Empowering Union and Intersection Types with Integrated Subtyping
OOPSLA
Fabian Muehlboeck Cornell University, Ross Tate Cornell University
Link to publication DOI Pre-print
11:15
22m
Talk
Julia Subtyping: a Rational Reconstruction
OOPSLA
Francesco Zappa Nardelli Inria, Julia Belyakova Northeastern University, USA, Artem Pelenitsyn Northeastern University, Benjamin Chung Northeastern University, Jeff Bezanson Julia Computing, Jan Vitek Northeastern University
DOI Media Attached
11:37
22m
Talk
Scopes as Types
OOPSLA
Hendrik van Antwerpen TU Delft, Casper Bach Poulsen Delft University of Technology, Arjen Rouvoet Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI File Attached