Welcome to IFL 2024
The 36th Symposium on Implementation and Application of Functional Languages
August 26th - 28st, 2024 • Nijmegen, The Netherlands
The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. You can find more information about the symposium on its official website.
The 36th Symposium on Implementation and Application of Functional Languages (IFL24) is held in Nijmegen, The Netherlands and is an opportunity for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional programming languages and function-oriented programming.
Keynotes
We are pleased to announce the following keynote talks:
The case for call-by-name
Lazy languages, such as Haskell and Clean, implement call-by-need semantics: arguments to functions are evaluated only if and when needed, but will not be evaluated more than once. This is a useful default which leads to a powerful language, but it is not always the right choice. In this talk we will look at some examples where we would prefer that arguments are evaluated anew each time they are used, trading a small amount of performance for a huge win in memory usage. We will explore ways to emulate call-by-name in a call-by-need language, and speculate about language features that might allow us choose between the two semantics in a more principled manner.
Programming with dependent types: beyond evaluating the simply typed lambda calculus
Wouter Swierstra, Utrecht University
Defining an evaluator for the simply typed lambda calculus is a classic example of a dependently typed program. Using this as our starting point, I will discuss several more recent research results, covering topics such as purely functional datastructures, translation to combinatory logic, and compiler calculation.
Dates
| Submission deadline of draft papers | August 4th, 2024 |
| Notification of acceptance for presentation | August 6th, 2024 |
| Registration deadline | (changed) August 19st, 2024 |
| IFL symposium | 26-28 August 2024 |
| Submission of papers for proceedings | December 1st, 2024 |
| Notification of acceptance | February 2nd, 2025 |
| Camera-ready version | March 2nd, 2025 |
Program
- Registration desk is at the main entrance of the Huygens building.
- Presentations are in Huygens building room HG 00.303.
- Lunches are in Mercator 1 ground floor.
- Coffee is in the Huygens building south hall (zuidhal), just outside of the presentation room.
Add to your calendar (.ics file that I promise to keep updated)
| Monday August 26 2024 | |
| 08:30 | Registration at front desk, coffee and tea (HG 00.303) |
| 08:55 | Welcome |
| 09:00 | Keynote 1: Edsko de Vries — The case for call-by-name (chair: Rinus Plasmeijer) |
| 10:00 | Coffee and tea |
| 10:30 | Session I (chair: Jurriaan Hage) |
| Marco T. Morazan, Oliwia Kempinski and Andrés M. Garced — The Implementation of FSM Computation Graphs | |
| Andrés M. Garced, Tijana Minić and Marco T. Morazan — The Implementation of Dynamic Visualizations for FSM | |
| Niek Janssen, Mart Lubbers and Pieter Koopman — Distributed Data in Task-Oriented Programming on Edge Devices | |
| 12:00 | Lunch |
| 13:30 | Steering committee meeting |
| 14:00 | Session II (chair: Mart Lubbers) |
| Stian Øverby, Joachim Tilsted Kristensen and Michael Kirkedal Thomsen — Probably: A programming language with stochastic let-bindings | |
| Vanessa McHale — Pattern Matching as Inverse in Typed Stack-Based Concatenative Languages | |
| 15:00 | Coffee and tea |
| 15:30 | Session III (chair: Sven-Bodo Scholz) |
| Razvan Nistor and Leonhard Applis — What about Haskell Bugs? Adapting bug taxonomies to Haskell's features and community | |
| Oscar Leijendekker — Experience report: limitations of linearity in dependent type theories when defining WebGL through types in Idris 2. | |
| 16:30 | Close day 1 |
| Tuesday August 27 2024 | |
| 08:30 | Walk-in, coffee and tea |
| 09:00 | Session IV (chair: Tim Steenvoorden) |
| Rinat Stryungis and Tom Schrijvers — Staging Automatic Differentiation with Template Haskell | |
| Ruifeng Xie and Tom Schrijvers — Calculating Compilers with Graded Functions | |
| Youyou Cong, Hironori Kawazoe and Hidehiko Masuhara — A Mostly CPS, Partly ANF Translation of Dependent Types | |
| 10:30 | Coffee and tea |
| 11:00 | Session V (chair: Marco Morazán) |
| Jordy Aaldering, Bernard van Gastel and Sven-Bodo Scholz — Dynamic Adaptation of Runtime Systems Based on Energy Consumption | |
| Patrick van Beurden, Thomas Koopman, and Sven-Bodo Scholz — A Light-Weight Method to Generate Code for Multiple GPUs and Out-Of-Core Problems | |
| 12:00 | Lunch |
| 13:15 | Bus leaves for social event |
| 14:00 | Social event |
| 21:00 | Back in Nijmegen |
| Wednesday August 28 2024 | |
| 08:30 | Walk-in, coffee and tea |
| 09:00 | Keynote 2: Wouter Swierstra — Programming with dependent types: beyond evaluating the simply typed lambda calculus (chair: Pieter Koopman) |
| 10:00 | Coffee and tea |
| 10:30 | Session VI (chair: Youyou Cong) |
| Michael Youssef — Shortest Paths, Pigeonholes and Finite Sets : A Constructive Proof in Agda | |
| Björn Lötters and Uwe Meyer — Context-Free Binding Grammars | |
| Enzo Alda and Daniel Andres Pinto Alvarado — Redesigning the Spreadsheet Core | |
| 12:00 | Lunch |
| 13:30 | Session VII (chair: Peter Achten) |
| Joachim Kristensen, Michael Kirkedal Thomsen, Sophie Adeline Solheim Bosio and Triera Gashi — pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation | |
| Jessica Belicia Cahyono, Youyou Cong and Hidehiko Masuhara — Daisy: A Block-Based Environment for Learning Data Modeling | |
| Akane Taniguchi, Youyou Cong and Hidehiko Masuhara — Formalizing an Object-Oriented Programming Language with Delimited Control | |
| 15:00 | IFL Matters & Closing |
Organisation
Chairs
- Program chair: Mart Lubbers, Radboud University, The Netherlands
- Program co-chair: Sven-Bodo Scholz, Radboud University, The Netherlands
- Local chair: Peter Achten, Radboud University, The Netherlands
Program committee
- Benoît Montagu, University of Lorraine, Inria, France
- Christos Dimoulas, Northwestern University, USA
- Edsko de Vries, Well-typed, The Netherlands
- Fritz Henglein, University of Copenhagen, Denmark
- Ian Mackie, University of Sussex, UK
- Jason Hemann, Seton Hall University, USA
- João Saraiva, Universidade do Minho, Portugal
- Jurriaan Hage, Heriot-Watt University, UK
- Kenichi Asai, Ochanomizu University, Japan
- Maja Kirkeby, Roskilde University, Denmark
- Marco Morazán, Seton Hall University, USA
- Neil Mitchell, Facebook, UK
- Ralf Laemmel, University of Koblenz Landau, Germany
- Rinus Plasmeijer, TOP Software/Radboud University Nijmegen, The Netherlands
- Stephen Chang, UMass Boston, USA
- Tim Steenvoorden, Open University, The Netherlands
- Tom Schrijvers, KU Leuven, Belgium
- Yusuf Moosa Motara, Rhodes University, South Africa
Sponsorship
We are proud to list our sponsors:
Silver sponsors
 |
 |
 |
 |
Bronze sponsors
 |
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Acknowledgments
This website is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.