Program
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! |