SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Sat 21 Nov 2020 00:00 - 00:20 at SPLASH-I - F-3A Chair(s): Ramy Shahin, Hidehiko Masuhara
Fri 20 Nov 2020 12:00 - 12:20 at SPLASH-I - F-3A Chair(s): Stefan Marr, Reuben Rowe

We present a simple, practical, and expressive type and effect system based on Boolean
constraints. The effect system extends the Hindley-Milner type system, supports
parametric polymorphism, and preserves principal types modulo Boolean
equivalence. We show how to support type inference by extending Algorithm W with
Boolean unification based on the successive variable elimination algorithm.

We implement the type and effect system in the Flix programming language. We
perform an in-depth evaluation on the impact of Boolean unification on type
inference time and end-to-end compilation time. While the computational
complexity of Boolean unification is NP-hard, the experimental results
demonstrate that it works well in practice. We find that the impact on type
inference time is on average a 1.4x slowdown and the overall impact on
end-to-end compilation time is a 1.1x slowdown.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: F-3AOOPSLA at SPLASH-I +12h
Chair(s): Stefan MarrUniversity of Kent, Reuben RoweUniversity College London
11:00 - 11:20
Talk
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
11:40 - 12:00
Talk
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
12:00 - 12:20
Talk
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached
23:00 - 00:20: F-3AOOPSLA at SPLASH-I
Chair(s): Ramy ShahinUniversity of Toronto, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
23:40 - 00:00
Talk
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
00:00 - 00:20
Talk
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached