Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Thu 23 Oct 2014 11:15 - 11:37 at Salon E - Type Systems Chair(s): Ravi Chugh

Gradual typing combines static and dynamic typing flexibly and safely in a single programming language. To do so, gradually typed languages implicitly insert casts where needed, to ensure at runtime that typing assumptions are not violated by untyped code. However, the implicit nature of cast insertion, especially on higher-order values, can jeopardize reliability and efficiency: higher-order casts can fail at any time, and are costly to execute. We propose Confined Gradual Typing to provide programmers with explicit means to restrict the flexibility of gradual typing to selectively regain reliability and efficiency guarantees. We introduce two new type qualifiers that allow programmers to control the flow of values between the typed and the untyped worlds. We formally develop two variants of Confined Gradual Typing that capture different flexibility/guarantee tradeoffs. We report on the implementation of Confined Gradual Typing in Gradualtalk, a gradually-typed Smalltalk, which confirms the performance advantage of avoiding unwanted higher-order casts and the low overhead of the approach.

Video: http://www.infoq.com/presentations/gradual-typing

Thu 23 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: OOPSLA - Type Systems at Salon E
Chair(s): Ravi ChughUniversity of Chicago
oopsla201410:30 - 10:52
Thomas W. BartensteinSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Link to publication File Attached
oopsla201410:52 - 11:15
Nada AminEPFL, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication File Attached
oopsla201411:15 - 11:37
Esteban Allende, Johan FabryUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
Link to publication
oopsla201411:37 - 12:00
John AltidorUniversity of Massachusetts, Yannis SmaragdakisUniversity of Athens
Link to publication File Attached