Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 14:00 - 14:30 at Oxford - Third session

In his famous paper entitled “Tackling the Awkward Squad”, Peyton Jones studies how features that traditionally did not fit in the functional programming paradigm can be added to a functional language via careful language design (e.g. using monads), instead of allowing programmers to sprinkle around impure expressions and ad-hoc library calls thereby turning the entire program into a non-functional program. Similarly, in this paper, we identify a number of code characteristics that do not map onto the reactive paradigm but that are present in many real life reactive programs. We propose a novel Actor-Reactor model that can serve as the basis for future language designs that allow a programmer to use the awkward squad without making the reactive parts of the program accidentally non-reactive.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Third sessionREBLS at Oxford
13:30
30m
Talk
FRP IoT Modules as a Scala DSL
REBLS
Ben Calus imec - DistriNet, KU Leuven, Bob Reynders imec-DistriNet, KU Leuven, Belgium, Dominique Devriese KU Leuven, Job Noorman KU Leuven, Frank Piessens KU Leuven
14:00
30m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
REBLS
Sam Van den Vonder , Joeri De Koster Vrije Universiteit Brussel, Belgium, Florian Myter Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
14:30
30m
Talk
Verifiable Reactive Software
REBLS