Write a Blog >>

Conference Dates
Conference Dates are in time zone (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Thu 22 Nov

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

10:00 - 11:40
1PLNL at Boothzaal
Chair(s): Eelco VisserDelft University of Technology
10:00
25m
Talk
JEff: Objects for Effect
PLNL
Pablo InostrozaCWI, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
10:25
25m
Talk
Sound and Reusable Components for Abstract Interpretation
PLNL
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands
10:50
25m
Talk
High-performance parallel arrays for Haskell
PLNL
Trevor L. McDonellUtrecht University
11:15
25m
Talk
Reversible Session-Based Concurrency, and its Haskell Implementation
PLNL
Folkert de VriesUniversity of Groningen, Jorge A. PérezUniversity of Groningen, The Netherlands
13:30 - 15:10
2PLNL at Boothzaal
Chair(s): Wouter SwierstraUtrecht 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 PoulsenDelft University of Technology
14:20
25m
Talk
Task Oriented Programming for the Internet of Things
PLNL
Mart LubbersRadboud University Nijmegen, Pieter KoopmanRadboud University Nijmegen, Netherlands, Rinus PlasmeijerRadboud University Nijmegen
14:45
25m
Talk
A Functional Approach to Blockchain Contract Languages
PLNL
Manuel ChakravartyTweag I/O & IOHK