PLNL 2018 (series) /
PLNL 2018 Program
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
Thu 22 Nov Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 10:00 - 10:25 Talk | JEff: Objects for Effect PLNL | ||
| 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 | ||
| 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 - 16:05 Talk | Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory PLNL | ||
| 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
Thu 22 Nov
Times are displayed in time zone: 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 High-performance parallel arrays for Haskell 10:50 - 11:15 | 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