IFL 2025 : 37th Symposium on Implementation and Application of Functional Languages
======================================================================
IFL 2025
37th Symposium on Implementation and Application of Functional Languages
Montevideo, Uruguay
October 1-3, 2025
https://www.fing.edu.uy/inco/congresos/ifl2025/index.html
======================================================================
### Scope
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. IFL 2025 will be a venue 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 languages and function-based programming.
### Topics of interest
Topics of interest to IFL 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
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
### Peer-review process
Differently from previous editions of IFL, IFL 2025 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the
draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2025.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have
been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers.
If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to
incorporate
the feedback from discussions at the symposium and will be invited to
submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity,
and
will thereby determine whether the paper is accepted or rejected.
### Important dates
Submission of regular papers: June 16, 2025
Regular papers notification: August 4, 2025
Submission of draft papers: August 4, 2025
Draft papers notification: August 11, 2025
Deadline for early registration: September 5, 2025
Submission of pre-proceedings version: September 8, 2025
IFL Symposium: October 1-3, 2025
Submission of papers for post-proceedings: December 15, 2025
Notification of acceptance: February 28, 2026
Camera-ready version: March 30, 2026
Deadlines are end of day Anywhere on Earth (UTC-12).
### Submission details
All contributions must be written in English. Papers must use the ACM
two columns conference format, which can be found at:
https://www.acm.org/publications/proceedings-template
Submit your paper here:
https://easychair.org/conferences/?conf=ifl2025
Important note to authors about the new ACM open access publishing model
ACM has introduced a new open access publishing model for the International
Conference Proceedings Series (ICPS). Authors based at institutions that are
not yet part of the ACM Open program and do not qualify for a waiver will be
required to pay an article processing charge (APC) to publish their ICPS
article in the ACM Digital Library. To determine whether or not an APC will
be
applicable to your article, please follow the detailed guidance here:
https://www.acm.org/publications/icps/author-guidance
Further information may be found on the ACM website, as follows:
- Full details of the new ICPS publishing model:
https://www.acm.org/publications/icps/faq
- Full details of the ACM Open program:
https://www.acm.org/publications/openaccess
- Please direct all questions about the new model to [email protected].
### 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.
### Organisation
PC Chairs:
Alberto Pardo, Universidad de la República, Montevideo, Uruguay
Marcos Viera, Universidad de la República, Montevideo, Uruguay
Publicity Chair:
Mart Lubbers, Radboud University, The Netherlands
Local Chairs:
Alberto Pardo, Universidad de la República, Montevideo, Uruguay
Marcos Viera, Universidad de la República, Montevideo, Uruguay
### Program committee:
Matteo Cimini, University of Massachusetts Lowell
Facundo Domínguez, Tweag
João Paulo Fernandes, Universidade do Porto
Jeremy Gibbons, Oxford University
Jurriaan Hage, Heriot Watt University
Jason Hemann, Seton Hall University
Maja Hanne Kirkeby, Roskilde University
Mart Lubbers, Radboud University
Bruno C. D. S. Oliveira, The University of Hong Kong
Rinus Plasmeijer, Radboud University
Andre Rauber Du Bois, Universidade Federal de Pelotas
Rodrigo Ribeiro, Universidade Federal de Ouro Preto
Alejandro Russo, Chalmers University of Technology
João Saraiva, University of Minho
Wenhao Tang, University of Edinburgh
Zhixuan Yang, Imperial College London
Brent Yorgey, Hendrix College
Beta Ziliani, Manas.Tech
Viktória Zsók, Eötvös Loránd University
### Venue
IFL 2025 will be held physically in Montevideo, Uruguay. See the
website for more information.
https://www.fing.edu.uy/inco/congresos/ifl2025
### Acknowledgments
This call-for-papers 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.
IFL 2025
37th Symposium on Implementation and Application of Functional Languages
Montevideo, Uruguay
October 1-3, 2025
https://www.fing.edu.uy/inco/congresos/ifl2025/index.html
======================================================================
### Scope
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. IFL 2025 will be a venue 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 languages and function-based programming.
### Topics of interest
Topics of interest to IFL 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
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
### Peer-review process
Differently from previous editions of IFL, IFL 2025 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the
draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2025.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have
been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers.
If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to
incorporate
the feedback from discussions at the symposium and will be invited to
submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity,
and
will thereby determine whether the paper is accepted or rejected.
### Important dates
Submission of regular papers: June 16, 2025
Regular papers notification: August 4, 2025
Submission of draft papers: August 4, 2025
Draft papers notification: August 11, 2025
Deadline for early registration: September 5, 2025
Submission of pre-proceedings version: September 8, 2025
IFL Symposium: October 1-3, 2025
Submission of papers for post-proceedings: December 15, 2025
Notification of acceptance: February 28, 2026
Camera-ready version: March 30, 2026
Deadlines are end of day Anywhere on Earth (UTC-12).
### Submission details
All contributions must be written in English. Papers must use the ACM
two columns conference format, which can be found at:
https://www.acm.org/publications/proceedings-template
Submit your paper here:
https://easychair.org/conferences/?conf=ifl2025
Important note to authors about the new ACM open access publishing model
ACM has introduced a new open access publishing model for the International
Conference Proceedings Series (ICPS). Authors based at institutions that are
not yet part of the ACM Open program and do not qualify for a waiver will be
required to pay an article processing charge (APC) to publish their ICPS
article in the ACM Digital Library. To determine whether or not an APC will
be
applicable to your article, please follow the detailed guidance here:
https://www.acm.org/publications/icps/author-guidance
Further information may be found on the ACM website, as follows:
- Full details of the new ICPS publishing model:
https://www.acm.org/publications/icps/faq
- Full details of the ACM Open program:
https://www.acm.org/publications/openaccess
- Please direct all questions about the new model to [email protected].
### 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.
### Organisation
PC Chairs:
Alberto Pardo, Universidad de la República, Montevideo, Uruguay
Marcos Viera, Universidad de la República, Montevideo, Uruguay
Publicity Chair:
Mart Lubbers, Radboud University, The Netherlands
Local Chairs:
Alberto Pardo, Universidad de la República, Montevideo, Uruguay
Marcos Viera, Universidad de la República, Montevideo, Uruguay
### Program committee:
Matteo Cimini, University of Massachusetts Lowell
Facundo Domínguez, Tweag
João Paulo Fernandes, Universidade do Porto
Jeremy Gibbons, Oxford University
Jurriaan Hage, Heriot Watt University
Jason Hemann, Seton Hall University
Maja Hanne Kirkeby, Roskilde University
Mart Lubbers, Radboud University
Bruno C. D. S. Oliveira, The University of Hong Kong
Rinus Plasmeijer, Radboud University
Andre Rauber Du Bois, Universidade Federal de Pelotas
Rodrigo Ribeiro, Universidade Federal de Ouro Preto
Alejandro Russo, Chalmers University of Technology
João Saraiva, University of Minho
Wenhao Tang, University of Edinburgh
Zhixuan Yang, Imperial College London
Brent Yorgey, Hendrix College
Beta Ziliani, Manas.Tech
Viktória Zsók, Eötvös Loránd University
### Venue
IFL 2025 will be held physically in Montevideo, Uruguay. See the
website for more information.
https://www.fing.edu.uy/inco/congresos/ifl2025
### Acknowledgments
This call-for-papers 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.