ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 03:00 - 03:20 at SPLASH-I - S-5 Chair(s): Davide Ancona, Jeremy Gibbons
Sun 15 Nov 2020 15:00 - 15:20 at SPLASH-I - S-5 Chair(s): Davide Ancona, Eli Tilevich

Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically. Safely implementing session types requires linearity, usually in the form of a linear type system. Unfortunately, linear typing is difficult to integrate with graphical user interfaces (GUIs), and to date most programs using session types are command line applications.

In this paper, we propose the first principled integration of session typing and GUI development by building upon the Model-View-Update (MVU) architecture, pioneered by the Elm programming language. We introduce λMVU, the first formal model of the MVU architecture, and prove it sound. By extending λMVU with commands as found in Elm, along with linearity and model transitions, we show the first formal integration of session typing and GUI programming. We implement our approach in the Links web programming language, and show examples including a two-factor authentication workflow and multi-room chat server.

I’m currently a Research Associate on the STARDUST project at the University of Glasgow School of Computing Science.

My research interests centre around typed functional programming languages, in particular functional approaches to concurrency, web programming, and data management.

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

15:00 - 16:20: S-5Research Papers at SPLASH-I +12h
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy, Eli TilevichVirginia Tech
15:00 - 15:20
Talk
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
15:20 - 15:40
Talk
Research Papers
Alastair DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
15:40 - 16:00
Talk
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
Link to publication DOI Media Attached
16:00 - 16:20
Talk
Research Papers
David R. MacIverImperial College London, Alastair DonaldsonImperial College London
Link to publication DOI Media Attached

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

03:00 - 04:20: S-5Research Papers at SPLASH-I
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy, Jeremy GibbonsDepartment of Computer Science, University of Oxford
03:00 - 03:20
Talk
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
03:20 - 03:40
Talk
Research Papers
Alastair DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
03:40 - 04:00
Talk
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
Link to publication DOI Media Attached
04:00 - 04:20
Talk
Research Papers
David R. MacIverImperial College London, Alastair DonaldsonImperial College London
Link to publication DOI Media Attached