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

16:30 - 18:00: ESOP - Session 3 at Skeel
Chair(s): Dave SandsChalmers University of Technology
esop-2015-papers16:30 - 17:00
Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
esop-2015-papers17:00 - 17:30
Giuseppe CastagnaParis Diderot University & CNRS, Hyeonseung ImINRIA Grenoble Rhône-Alpes, Kim NguyễnLRI, Université Paris-Sud, Véronique BenzakenLRI, Université Paris-Sud
esop-2015-papers17:30 - 18:00
Ravi ChughUniversity of Chicago