Accepted Papers for presentation at IFL
-
PAPERS
- "A frame stack semantics for sequential Core Erlang", Péter Bereczky, Dániel Horpácsi and Simon Thompson
- "What's in a Bag? Towards an «Application Proving Interface» for Finite Bags", Ralf Hinze and Alexander Dinges
- "A Lazy Abstract Machine Based on a Pattern~Matching Calculus", Pedro Vasconcelos and Rodrigo Marques
- "Mix and Match Deep and Shallow Embeddings for Interactive Web Based SVG Content", Peter Achten
- "Improving Agda’s module system", Ivar de Bruin, Bohdan Liesnikov and Jesper Cockx
- "Calculating Function Sensitivity for Synthetic Data Algorithms", Markus Pettersson, Johannes Ljung Ekeroth and Alejandro Russo
- "CSI: Haskell - Tracing Lazy Evaluations in a Functional Language", Matthías Páll Gissurarson and Leonhard Applis
- "Type-Based Uncurrying for Unknown Function Calls", Morten Rhiger
- "Heron: Modern Hardware Graph Reduction", Craig Ramsay and Robert Stewart
- "Embedding Functions", Pieter Koopman, Mart Lubbers and Niek Janssen
- "QuickerCheck", Robert Krook, Nicholas Smallbone and Koen Claessen
- "Building an elaborator using extensible constraints", Bohdan Liesnikov and Jesper Cockx
- "Type Pattern: Pattern Matching on Shape-Carrying Array Types", Jordy Aaldering, Bernard van Gastel and Sven-Bodo Scholz
- "Bringing Synthesised Software to a Real-World Microkernel Operating System", Mario Frank, Mario Egger, Andreas Otto and Christoph Kreitz
- "Dynamic TopHat: Start and Stop Tasks at Runtime", Tim Steenvoorden and Nico Naus
- "Wasocaml: compiling OCaml to WebAssembly", Léo Andrès, Pierre Chambart and Jean-Christophe Filliâtre
- "Capturing Matrix Algebras in Agda - An Experience Report", Michael Youssef
- "Free Monads, Intrinsic Scoping, and Higher-Order Preunification", Nikolai Kudasov
- "Crafting Extensible Incremental Parallel Embedded Build Systems", Lucas Escot
- "Reverse-Mode AD of Reduce-by-Index and Scan in Futhark", Lotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hinnerskov and Cosmin E. Oancea
- "Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language", Clemens Grelck and Wouter Loeve
- "Design of a Sustainable Membership Protocol", Jianhao Li and Viktoria Zsok
- "On Making Modulo-Based Array-Element Rotations Affordable", Michiel Verloop and Sven-Bodo Scholz
- "FLIN: A Functional Language for Interaction Nets", Ian Mackie, Shinya Sato and Marc Thatcher
- "A new implementation of dependent types via Dosen's substructural categorial programming: example of the Yoneda lemma for fibrations", Christopher Mary
- "Towards a standardised and efficient implementation of the normative specification language eFLINT", Olaf Erkemeij, Christopher A. Esterhuyse, Tim Müller and L. Thomas van Binsbergen