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.
Scope and Topics
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. Areas of interest include, but are not limited to:
| * language concepts | * type systems, type checking, type inferencing |
| * compilation techniques | * staged compilation |
| * run-time function specialisation | * run-time code generation |
| * partial evaluation | * abstract interpretation |
| * meta-programming | * generic programming |
| * automatic program generation | * array processing |
| * concurrent/parallel programming | * concurrent/parallel program execution |
| * embedded systems | * web applications |
| * (embedded) domain-specific languages | * security |
| * novel memory management techniques | * run-time profiling performance measurements |
| * debugging and tracing | * testing and proofing |
| * virtual/abstract machine architectures | * validation, verification of functional programs |
| * tools and programming techniques | * applications of functional programming in the industry |
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
under construction
- 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
- 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.