ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Wed 15 Apr 2015 15:00 - 15:30 at Skeel - Session 5 Chair(s): Jan Vitek

Gradual typing enables both static and dynamic typing in the same program, and makes it convenient to migrate code regions between the two typing disciplines. One goal of gradual typing is to provide all the benefits of static typing, such as efficiency, in statically-typed regions. However, this goal is elusive: the standard approach to mutable references imposes run-time overhead in statically-typed regions and alternative approaches are too conservative, either statically or at run-time. In this paper we present a new semantics called monotonic references which imposes none of the run-time overhead of dynamic typing in statically typed regions. With this design, casting a reference may cause a heap cell to become more statically typed. Retaining type safety is challenging with strong updates to the heap.

Wed 15 Apr
Times are displayed in time zone: Azores change

14:00 - 16:00: Session 5ESOP at Skeel
Chair(s): Jan VitekNortheastern University
14:00 - 14:30
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Burke FetscherNorthwestern University, Koen ClaessenChalmers University of Technology, Michał PałkaChalmers University of Technology, John HughesChalmers University of Technology, Robby FindlerNorthwestern University
14:30 - 15:00
Refinement Types for Incremental Computational Complexity
Ezgi ÇiçekMPI-SWS, Deepak GargMPI-SWS, Umut A. AcarCarnegie Mellon University
15:00 - 15:30
Monotonic References for Efficient Gradual Typing
Jeremy G. SiekIndiana University, Michael M. VitousekIndiana University, Matteo CiminiIndiana University, Sam Tobin-HochstadtIndiana University, Ronald GarciaUniversity of British Columbia
15:30 - 16:00
Inter-procedural Two-Variable Herbrand Equalities
Stefan Schulze FrielinghausTechnische Universität München, Michael PetterTechnische Universität München, Helmut SeidlTechnische Universität München