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