Fri 30 Oct 2015 16:37 - 17:00 at Grand Station 1 - 13. Type Systems Chair(s): Nobuko Yoshida

Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual effect checking, all represent promising steps towards making effect systems suitable for widespread use. However, no existing system combines these approaches: the theory of gradual polymorphic effects has not been developed, and there are no implementations of gradual effect checking. In addition, a limiting factor in the adoption of effect systems is their unsuitability for localized and customized effect disciplines. This paper addresses these issues by presenting the first implementation of gradual effect checking, for Scala, which supports both effect polymorphism and a domain-specific language called Effscript to declaratively define and customize effect disciplines. We report on the theory, implementation, and practical application of the system.

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
13. Type SystemsOOPSLA at Grand Station 1
Chair(s): Nobuko Yoshida Imperial College London, UK
15:30
22m
Talk
A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
OOPSLA
Sebastian Erdweg TU Darmstadt, Germany, Oliver Bračevac TU Darmstadt, Edlira Kuci TU Darmstadt, Germany, Matthias Krebs TU Darmstadt, Germany, Mira Mezini TU Darmstadt
Link to publication Pre-print
15:52
22m
Talk
Disjointness Domains for Fine-Grained Aliasing
OOPSLA
Stephan Brandauer Uppsala University, Dave Clarke Uppsala University, Sweden and KU Leuven, Belgium, Tobias Wrigstad Uppsala University
Link to publication File Attached
16:15
22m
Talk
The Chemical Approach to Typestate-Oriented Programming
OOPSLA
Silvia Crafa Università di Padova, Italy, Luca Padovani
DOI
16:37
22m
Talk
Customizable Gradual Polymorphic Effects for ScalaOOPSLA Artifact
OOPSLA
Matías Toro University of Chile, Chile, Éric Tanter University of Chile, Chile
DOI