Skip to the content.


All times are UTC+0

You may want to download a collection of all the submitted abstracts.

Thursday 17th

08:00-08:00 Wouter Swierstra and Nicolas Wu Welcome
08:00-08:20 Youyou Cong and Kenichi Asai Understanding Algebraic Effect Handlers via Delimited Control Operators
08:20-08:40 Ruslan Shevchenko Embedding generic monadic transformer into Scala
08:40-09:00 Baltasar Trancón Y Widemann and Markus Lepper A Compilable Embedded Language for Synchronous Data-Flow Programming on the Java Virtual Machine
09:00-09:20 Mart Lubbers, Pieter Koopman and Rinus Plasmeijer First-Class Data Types in Shallow Embedded Domain Specific Languages using Metaprogramming
10:00-11:00 Christiaan Baaij Building a Haskell-to-Hardware compiler: Theory & Practice
12:00-12:20 Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara and Daan Leijen Sound and Complete Type Inference for Closed Effect Rows
12:20-12:40 Naoya Furudono, Youyou Cong, Hidehiko Masuhara and Daan Leijen Towards Efficient Adjustment of Effect Rows
12:40-13:00 Michal Gajda and Mikhail Lazarev Towards the perfect union type

Friday 18th

08:00-08:20 Tosca Klijnsma and Tim Steenvoorden Semantic equivalence of task-oriented programs in TopHat
08:20-08:40 Sjoerd Crooijmans, Mart Lubbers and Pieter Koopman Reducing the Power Consumption of IoT with Task-Oriented Programming
08:40-09:00 Michal Gajda Less arbitrary waiting time
09:00-09:20 Johannes Hartmann and Jeremy Gibbons Algorithm Design with the Selection Monad
10:00-10:20 Cas van der Rest and Casper Bach Poulsen Towards a Language for Defining Reusable Programming Language Components
10:20-10:40 Mart Lubbers Deep Embedding with Class
10:40-11:00 Damian Frolich and L. Thomas van Binsbergen Towards Incremental Language Definition with Reusable Components
12:00-12:20 Yaozhu Sun and Bruno C. D. S. Oliveira Named Arguments as Records
12:20-12:40 Mark Gerarts, Marc de Hoog, Tim Steenvoorden and Nico Naus Creating Interactive Visualizations of TopHat Programs
12:40-13:00 Enzo Alda and Javier Lopez They Already Know or Should Learn the Syntax Anyway!