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