ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Tue 14 Apr 2015 17:30 - 18:00 at Skeel - Session 3 Chair(s): Dave Sands

In this paper, we present a statically typed calculus of functional objects called IsoLate that can reason about a pattern of mixin composition without relying on an explicit fixpoint operation. To accomplish this, IsoLate extends a standard isorecursive type system with a mechanism for checking the “mutual consistency” of a collection of functions, that is, that all of the assumptions about self are implied by the collection itself. We prove the soundness of IsoLate via a type-preserving translation to a calculus with F-bounded polymorphism. Therefore, IsoLate can be regarded as a stylized subset of the more expressive calculus that admits an interesting class of programs yet is easy to implement. In the future, we plan to investigate how other, more complicated forms of mixin composition may be supported by lightweight type systems.

I am an Assistant Professor at the University of Chicago. I am interested in programming language, compiler, and program analysis technology. My recent work has focused on type systems for dynamic languages. For more information about my work, check out my research page for publications and talks.

Tue 14 Apr
Times are displayed in time zone: Azores change

16:30 - 18:00
Session 3ESOP at Skeel
Chair(s): Dave SandsChalmers University of Technology
16:30
30m
Talk
A Theory of Name Resolution
ESOP
Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
17:00
30m
Talk
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
ESOP
Giuseppe CastagnaParis Diderot University & CNRS, Hyeonseung ImINRIA Grenoble Rhône-Alpes, Kim NguyễnLRI, Université Paris-Sud, Véronique BenzakenLRI, Université Paris-Sud
17:30
30m
Talk
IsoLate: A Type System for Self-Recursion
ESOP
Ravi ChughUniversity of Chicago