Write a Blog >>
PLNL 2018
Thu 22 Nov 2018 Utrecht, Netherlands
PLNL 2018 (series) / University Library Utrecht University (De Uithof) /

Room information: Boothzaal

VenueUniversity Library Utrecht University (De Uithof)
Room nameBoothzaal
Floor0
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
Paul Klint
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
15:40 - 17:20
3PLNL at Boothzaal
Chair(s): Robbert Krebbers Delft University of Technology
15:40
25m
Talk
Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
PLNL
Andreas Nuyts KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel, Belgium
16:05
25m
Talk
A Verified Automatic Prover Based on Ordered Resolution
PLNL
Anders Schlichtkrull Technical University of Denmark, Jasmin Blanchette Vrije Universiteit Amsterdam, Dmitriy Traytel ETH Zurich
16:30
25m
Talk
Type Systems with Constraints for ML Type Inference with the Implementation in Haskell
PLNL
Alen Arslanagić University of Groningen
16:55
25m
Talk
Improving pattern matching style
PLNL
Alejandro Serrano Utrecht University, Netherlands

Thu 22 Nov

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

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

PLNL

PLNL

1

PLNL

PLNL

2

PLNL

PLNL

3

Thu 22 Nov

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Boothzaal
PLNL
JEff: Objects for Effect
10:00 - 10:25
PLNL
Sound and Reusable Components for Abstract Interpretation
10:25 - 10:50
PLNL
High-performance parallel arrays for Haskell
10:50 - 11:15
PLNL
Reversible Session-Based Concurrency, and its Haskell Implementation
11:15 - 11:40
PLNL
From Rascal to JVM byte code: a play in several acts
13:30 - 13:55
PLNL
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and T ...
13:55 - 14:20
PLNL
Task Oriented Programming for the Internet of Things
14:20 - 14:45
PLNL
A Functional Approach to Blockchain Contract Languages
14:45 - 15:10
PLNL
Degrees of Relatedness - A Unified Framework for Parametricity, Irrelev ...
15:40 - 16:05
PLNL
A Verified Automatic Prover Based on Ordered Resolution
16:05 - 16:30
PLNL
Type Systems with Constraints for ML Type Inference with the Implementa ...
16:30 - 16:55
PLNL
Improving pattern matching style
16:55 - 17:20