Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

ReactiveML is an extension of a general purpose language a la ML with parallel and synchronisation primitives to develop reactive applications. It is based on the `reactive model’ introduced by Boussinot in the 90s, that retains the key principles of synchronous languages — at the programming level, time is discrete and global to all the processes whose parallel composition behave deterministically — but relaxes it to allow for the dynamic creation of processes. Therefore, it keeps the expressiveness and deterministic garantees of synchronous languages like Esterel but removes its real-time constraints. ReactiveML allows to program applications as diverse as network simulators, mixed-music, or chatbots.

In this tutorial, we will present the main concepts underlying the language and have a hands-on session where the participants see both how to program in ReactiveML and how to program ReactiveML.

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:00 - 16:00
T08: Implement your own reactive language: the ReactiveML experimentTutorials at Wabash Cannonball
Chair(s): Louis MandelIBM Research, Marc PouzetÉcole normale supérieure, Cédric Pasteur, Guillaume BaudartIBM Research
T08: Implement your own reactive language: the ReactiveML experiment
Guillaume BaudartIBM Research, Louis MandelIBM Research, Cédric Pasteur, Marc PouzetÉcole normale supérieure