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

Thu 22 Nov
Times are displayed in 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 - 10:25
Talk
JEff: Objects for Effect
PLNL
Pablo InostrozaCWI, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
10:25 - 10:50
Talk
Sound and Reusable Components for Abstract Interpretation
PLNL
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands
10:50 - 11:15
Talk
High-performance parallel arrays for Haskell
PLNL
Trevor L. McDonellUtrecht University
11:15 - 11:40
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 - 13:55
Talk
From Rascal to JVM byte code: a play in several acts
PLNL
13:55 - 14:20
Talk
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
PLNL
Casper Bach PoulsenDelft University of Technology
14:20 - 14:45
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 - 15:10
Talk
A Functional Approach to Blockchain Contract Languages
PLNL
Manuel ChakravartyTweag I/O & IOHK
15:40 - 17:20: 3PLNL at Boothzaal
Chair(s): Robbert KrebbersDelft University of Technology
15:40 - 16:05
Talk
Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
PLNL
Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
16:05 - 16:30
Talk
A Verified Automatic Prover Based on Ordered Resolution
PLNL
Anders SchlichtkrullTechnical University of Denmark, Jasmin BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
16:30 - 16:55
Talk
Type Systems with Constraints for ML Type Inference with the Implementation in Haskell
PLNL
Alen ArslanagićUniversity of Groningen
16:55 - 17:20
Talk
Improving pattern matching style
PLNL
Alejandro SerranoUtrecht University, Netherlands

Thu 22 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Boothzaal
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)