========================================================== Call for Participation IFL 2025 37th Symposium on Implementation and Application of Functional Languages Montevideo, Uruguay October 1-3, 2025 (Tutorials September 29-30) https://www.fing.edu.uy/inco/congresos/ifl2025 ========================================================== 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. ### Registration The registration fee covers use of facilities, participation in the tutorials and symposium, lunches, coffee breaks, social outing, symposium dinner and access to draft proceedings. Early Bird Registration Deadline is Sep 5, 2025. https://www.fing.edu.uy/inco/congresos/ifl2025/register.html If you choose online payment at registration, you will receive payment instructions during the week. ### Keynote speakers Roberto Ierusalimschy Departamento de Informática, PUC-Rio, Río de Janeiro, Brazil Functions in Lua Iván Pérez NASA Ames Research Center, California, USA Making Haskell Fly https://www.fing.edu.uy/inco/congresos/ifl2025/keynotes.html ### Tutorials On September 29 and 30, the two days prior to the symposium, four tutorials will be held: Gradual typing Éric Tanter, University of Chile, Chile Type Based Static Analysis Jurriaan Hage, Heriot-Watt University, UK Development of dApps in the UTxO model TxPipe, Argentina Programming-Based Automata Theory Marco T. Morazán, Seton Hall University, USA https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html ### Accepted Papers Regular Papers: Compilation of the Stochastic Language ALEA, Baltasar Trancón Y Widemann and Markus Lepper. Design and Implementation of DSLs for Unit Testing, Marco T. Morazán and Andres Garced. Recipe-Based Errors: Methodology, Implementation, and Evaluation, Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose Bohrer, Andres Garced and David Anthony Fields. Refinement-Types Driven Development: A study, Facundo Domínguez and Arnaud Spiwack. Draft Papers: AI-Assisted Program Design Using Structural Recursion, Marco T. Morazán. A Quantum-Control Lambda-Calculus with Multiple Measurement Bases, Nicolas A. Monzon and Alejandro Díaz-Caro. Automatic Testing for Finite-State Machines, Marco T. Morazán, Sophia G. Turano, Andres Garced and David Anthony Fields. Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo Ribeiro. Energy-aware Data-Parallel Functional Array Processing for Heterogeneous Platforms, Clemens Grelck. Formalizating System I with type Top in Agda, Agustín Séttimo, Cristian Sottile and Cecilia Manzino. Foundations of Gradual Abstract Interpretation, Gaspar Ricci, Sebastian Erdweg, Éric Tanter and Matías Toro. Heuristics-based Type Error Diagnosis for Haskell: the case of type families, Niels Kwadijk and Jurriaan Hage. Higher-ranked region inference for polymorphic, lazy languages, Ivo Gabe de Wolff and Jurriaan Hage. Improving a Group Membership Protocol Implementation using Liquid Haskell and QuickCheck, Jianhao Li and Viktoria Zsok. List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasistro. Reducibility candidates modulo isomorphisms, Cristian Sottile and Alejandro Díaz-Caro. Type Checking Dependently Sorted Nominal Signatures, Maribel Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro. Unrestricted Grammar Design and Visualization: A Design Recipe and Dynamic Visualization Tool, Marco T. Morazán, Andres Garced and Tijana Minić.