‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 11:50 - 12:15 at Matisse - Session 2

With the introduction of technologies such as WebSockets and WebRTC, web applications have evolved beyond the simple request-response model. Tierless web languages such as Links and Ur/Web are uniform languages for writing code to be run across all tiers, instead of using different languages for client, server, and database code.

Armed with recent innovations such as WebSockets, which allow web applications to deviate from the classic request-response model, we provide the first full integration of session types and web programming. To handle the inevitable case of a user going offline during a session, we introduce the first implementation of exceptions in the presence of session types. Our implementation is grounded in a formal calculus with strong correctness properties.

Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Session 2ProWeb at Matisse
11:00
25m
Full-paper
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
ProWeb
11:25
25m
Full-paper
Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
ProWeb
Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
11:50
25m
Talk
Session Types for Tierless Web Applications
ProWeb
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
12:15
15m
Talk
Group discussion 2
ProWeb