Write a Blog >>
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 22 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:40
1PLNL at Boothzaal
Chair(s): Eelco Visser Delft University of Technology
10:00
25m
Talk
JEff: Objects for Effect
PLNL
Pablo Inostroza CWI, Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen
10:25
25m
Talk
Sound and Reusable Components for Abstract Interpretation
PLNL
Sven Keidel Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands
10:50
25m
Talk
High-performance parallel arrays for Haskell
PLNL
Trevor L. McDonell Utrecht University
11:15
25m
Talk
Reversible Session-Based Concurrency, and its Haskell Implementation
PLNL
Folkert de Vries University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands
13:30 - 15:10
2PLNL at Boothzaal
Chair(s): Wouter Swierstra Utrecht University, Netherlands
13:30
25m
Talk
From Rascal to JVM byte code: a play in several acts
PLNL
13:55
25m
Talk
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
PLNL
Casper Bach Poulsen Delft University of Technology
14:20
25m
Talk
Task Oriented Programming for the Internet of Things
PLNL
Mart Lubbers Radboud University Nijmegen, Pieter Koopman Radboud University Nijmegen, Netherlands, Rinus Plasmeijer Radboud University Nijmegen
14:45
25m
Talk
A Functional Approach to Blockchain Contract Languages
PLNL
Manuel Chakravarty Tweag I/O & IOHK

Thu 22 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Boothzaal