| 9:00 - 10:00 |
Keynote Functional Programming in Financial Markets by José Pedro Magalhães |
| 10:00 - 10:30 |
Coffee Break |
| Session 1: Functional Programming and Language Features (Chair: Rinus Plasmeijer) |
| 10:30 - 11:00 |
Mix and Match Deep and Shallow Embeddings for Interactive Web Based
SVG Content by Peter Achten |
| 11:00 - 11:30 |
Building an elaborator using extensible constraints by Bohdan Liesnikov and Jesper Cockx |
| 11:30 - 12:00 |
QuickerCheck by Robert Krook, Nicholas Smallbone, and Koen Claessen |
| 12:00 - 14:00 |
Lunch Break |
| Session 2: Type Systems, Verification, and Formal Methods (Chair: Mário Florido) |
| 14:00 - 14:30 |
Type Pattern: Pattern Matching on Shape-Carrying Array Types by Jordy Aaldering, Bernard van Gastel, and Sven-Bodo Scholz |
| 14:30 - 15:00 |
Bringing Synthesised Software to a Real-World Microkernel Operating
System
by Mario Frank, Mario Egger, Andreas Otto, and Christoph Kreitz |
| 15:00 - 15:30 |
A new implementation of dependent types via Dosen's substructural
categorial programming: example of the Yoneda lemma for fibrations
by Christopher Mary |
| 15:30 - 16:00 |
Coffee Break |
| Session 3: System Implementation and Real-world Applications (Chair: Jurriaan Hage) |
| 16:00 - 16:30 |
Heron: Modern Hardware Graph Reduction by Craig Ramsay and Robert Stewart |
| 16:30 - 17.00 |
Dynamic TopHat: Start and Stop Tasks at Runtime by Tim Steenvoorden and Nico Naus |
| 17:00 - 17.30 |
Reverse-Mode AD of Reduce-by-Index and Scan in Futhark by Lotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hinnerskov, and Cosmin E. Oancea |