‹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

proweb-2018-papers
11:00 - 12:30: ProWeb 2018 - Session 2 at Matisse
proweb-2018-papers11:00 - 11:25
Full-paper
proweb-2018-papers11:25 - 11:50
Full-paper
Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
proweb-2018-papers11:50 - 12:15
Talk
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
proweb-2018-papers12:15 - 12:30
Talk