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