default search action
35th IFL 2023: Braga, Portugal
- The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023. ACM 2023
- Matthías Páll Gissurarson, Leonhard Herbert Applis:
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language. 1:1-1:13 - Alexander Dinges, Ralf Hinze:
What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation. 2:1-2:13 - Craig Ramsay, Robert J. Stewart:
Heron: Modern Hardware Graph Reduction. 3:1-3:12 - Bohdan Liesnikov, Jesper Cockx:
ExEl: Building an Elaborator Using Extensible Constraints. 4:1-4:13 - Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A frame stack semantics for sequential Core Erlang. 5:1-5:13 - Markus Pettersson, Johannes Ljung Ekeroth, Alejandro Russo:
Calculating Function Sensitivity for Synthetic Data Algorithms. 6:1-6:12 - Lucas Escot:
Crafting Extensible Forward Incremental Parallel Embedded Build Systems. 7:1-7:11 - Morten Rhiger:
Type-Based Uncurrying for Unknown Function Calls. 8:1-8:12 - Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. 9:1-9:12 - Wouter Loeve, Clemens Grelck:
Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language. 10:1-10:13 - Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel:
Type Patterns: Pattern Matching on Shape-Carrying Array Types. 11:1-11:14 - Michiel Verloop, Thomas Koopman, Sven-Bodo Scholz:
Modulo in high-performance code: strength reduction for modulo-based array indexing in loops. 12:1-12:13 - Tim Steenvoorden, Nico Naus:
Dynamic TopHat: Start and Stop Tasks at Runtime. 13:1-13:13 - Lotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hey Hinnerskov, Cosmin Eugen Oancea:
Reverse-Mode AD of Multi-Reduce and Scan in Futhark. 14:1-14:14
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.