Write a Blog >>
PLNL 2018
Thu 22 Nov 2018
Utrecht, Netherlands
Toggle navigation
Attending
Venue: University Library Utrecht University (De Uithof)
Program
Complete Program
Your Program
Thu 22 Nov
Track/Call
Organization
PLNL 2018
Organizing Committee
Contributors
People Index
Search
Series
Series
PLNL 2019
PLNL 2018
Sign in
Sign up
Display in different time zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
PLNL 2018 (
series
) /
PLNL 2018 Program
Filter
Dates
Rooms
Tracks
Badges
Your Program
Detailed Table
Session Timeline
Detailed Timeline
Get Calendar (iCal)
Thu 22 Nov
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
plnl-2018-papers
10:00 - 11:40:
PLNL
- 1 at
Boothzaal
Chair(s):
Eelco Visser
Delft University of Technology
plnl-2018-papers
10:00 - 10:25
Talk
JEff: Objects for Effect
Pablo Inostroza
CWI
,
Tijs van der Storm
Centrum Wiskunde & Informatica / University of Groningen
plnl-2018-papers
10:25 - 10:50
Talk
Sound and Reusable Components for Abstract Interpretation
Sven Keidel
Delft University of Technology, Netherlands
,
Sebastian Erdweg
Delft University of Technology, Netherlands
plnl-2018-papers
10:50 - 11:15
Talk
High-performance parallel arrays for Haskell
Trevor L. McDonell
Utrecht University
plnl-2018-papers
11:15 - 11:40
Talk
Reversible Session-Based Concurrency, and its Haskell Implementation
Folkert de Vries
University of Groningen
,
Jorge A. Pérez
University of Groningen, The Netherlands
plnl-2018-papers
13:30 - 15:10:
PLNL
- 2 at
Boothzaal
Chair(s):
Wouter Swierstra
Utrecht University, Netherlands
plnl-2018-papers
13:30 - 13:55
Talk
From Rascal to JVM byte code: a play in several acts
Paul Klint
plnl-2018-papers
13:55 - 14:20
Talk
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
Casper Bach Poulsen
Delft University of Technology
plnl-2018-papers
14:20 - 14:45
Talk
Task Oriented Programming for the Internet of Things
Mart Lubbers
Radboud University Nijmegen
,
Pieter Koopman
Radboud University Nijmegen, Netherlands
,
Rinus Plasmeijer
Radboud University Nijmegen
plnl-2018-papers
14:45 - 15:10
Talk
A Functional Approach to Blockchain Contract Languages
Manuel Chakravarty
Tweag I/O & IOHK
plnl-2018-papers
15:40 - 17:20:
PLNL
- 3 at
Boothzaal
Chair(s):
Robbert Krebbers
Delft University of Technology
plnl-2018-papers
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
Andreas Nuyts
KU Leuven, Belgium
,
Dominique Devriese
Vrije Universiteit Brussel, Belgium
plnl-2018-papers
16:05 - 16:30
Talk
A Verified Automatic Prover Based on Ordered Resolution
Anders Schlichtkrull
Technical University of Denmark
,
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
Dmitriy Traytel
ETH Zurich
plnl-2018-papers
16:30 - 16:55
Talk
Type Systems with Constraints for ML Type Inference with the Implementation in Haskell
Alen Arslanagić
University of Groningen
plnl-2018-papers
16:55 - 17:20
Talk
Improving pattern matching style
Alejandro Serrano
Utrecht University, Netherlands
Thu 22 Nov
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Boothzaal
PLNL
PLNL
1
PLNL
PLNL
2
PLNL
PLNL
3
Thu 22 Nov
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
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)
session-calendar.ics
Detailed Event Calendar (ical)
event-calendar.ics
x
Tue 2 Jun 20:03