IFL

Keyphrases

Publications

2023

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A frame stack semantics for sequential Core Erlang. IFL (2023)
Matthías Páll Gissurarson, Leonhard Herbert Applis
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language. IFL (2023)
Alexander Dinges, Ralf Hinze
What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation. IFL (2023)
Markus Pettersson, Johannes Ljung Ekeroth, Alejandro Russo
Calculating Function Sensitivity for Synthetic Data Algorithms. IFL (2023)
Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel
Type Patterns: Pattern Matching on Shape-Carrying Array Types. IFL (2023)
Bohdan Liesnikov, Jesper Cockx
ExEl: Building an Elaborator Using Extensible Constraints. IFL (2023)
Lotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hey Hinnerskov, Cosmin Eugen Oancea
Reverse-Mode AD of Multi-Reduce and Scan in Futhark. IFL (2023)
Craig Ramsay, Robert Stewart
Heron: Modern Hardware Graph Reduction. IFL (2023)
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL (2023)
Tim Steenvoorden, Nico Naus
Dynamic TopHat: Start and Stop Tasks at Runtime. IFL (2023)
Morten Rhiger
Type-Based Uncurrying for Unknown Function Calls. IFL (2023)
Michiel Verloop, Thomas Koopman, Sven-Bodo Scholz
Modulo in high-performance code: strength reduction for modulo-based array indexing in loops. IFL (2023)
Wouter Loeve, Clemens Grelck
Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language. IFL (2023)
The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023 IFL (2023)
Lucas Escot
Crafting Extensible Forward Incremental Parallel Embedded Build Systems. IFL (2023)

2022

2021

2020

2019