The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022)

Scope

Dates

Formal proceedings

Keynotes

Keynote: Abstract machines and functional language implementation

Machines for functional language implementation have a long history, starting with Landin's 1964 SECD machine. We review some historical developments for strict as well as lazy functional languages. For some time it was believed that functional language implementation required specialized hardware, but nowadays virtual machines ostensibly designed for object-oriented languages, notably the Java Virtual Machine and the .NET platform, have turned out to be excellent targets for (strict) functional languages also.

Speaker: Peter Sestoft has worked with functional programming, program manipulation and programming language implementation for nearly four decades and since 2017 is head the Computer Science Department at the IT University of Copenhagen.

Keynote: Verse - a new functional-logic language

Verse is a new functional-logic language. It has several unusual features and this talk will give a brief overview of the language and what makes it different from most other languages.

Speaker: Lennart Augustsson has been working with design and implementation of functional languages since the 1980s. The languages range from hardware design to banking, but as a grumpy old man he has now settled on the computer games industry.

Keynote: MirageOS: using functional programming to reduce software complexity

Today's software stack is overly complex and primarily written in unsafe memory languages. This leads to many inefficiency and security issues. MirageOS tackles these challenges by rewriting an operating system in OCaml, as a set of independent, re-usable libraries. The application business logic can then be linked with these libraries to generate "unikernels": minimal, type-safe and specialised operating systems that do not need a legacy operating system to run anymore.

Speaker: Thomas Gazagnaire is interested in applying functional programming research to solve complex, real-world computer system problems. He has co-founded Unikernel Systems and Tarides and worked for Docker, Citrix, OnApp and OCamlPro. He also was a researcher at Cambridge University and Inria.

Programme

The format of the programme is as follows:

Accepted Papers

• Asynchronous Shared Data Sources. Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer.
• Heuristics-based Type Error Diagnosis for Haskell: the case of type families. Niels Kwadijk and Jurriaan Hage.
• Verified Technology Mapping in an Agda DSL for Circuit Design. João Paulo Pizani Flor and Wouter Swierstra.
• An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song and Wei-Ngan Chin.
• A Structure Editor with Type-Safe Copy/Paste. Hans Hüttel, Christoffer Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and Peter Mikkelsen.
• How to fold and color a map: Comparing Use-Cases of Tree-Fold vs Fold-Left. Jim Newton.
• Compiling a functional array language with non-semantic memory information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen.
• Systems of partial values and their applications in Haskell. Natasha England-Elbro.
• First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer.
• Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette Bieniusa.
• Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and Mart Lubbers.
• Ztrategic: Strategic Programming with Zippers. José Nuno Macedo, Emanuel Rodrigues, Marcos Viera and João Saraiva.
• Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe de Wolff and Jurriaan Hage.
• Jeopardy: An invertible functional programming language. Joachim Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen.
• The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal Maclaurin, Alexey Radul and Adam Paszke.
• Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen, Niki Vazou and Lindsey Kuper.
• Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix Mikkelsen, Robert Glück and Maja Hanne Kirkeby.
• On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. Patrick van Beurden and Sven-Bodo Scholz.
• Compiling Haskell for Energy Efficiency: Analysis of Individual Transformations. Bernardo Santos, João Fernandes, Maja Kirkeby and Alberto Pardo.

Submission (post-reviewing)

All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found here. (For L^aT_eX users, start your document with \documentclass[sigconf,screen,review]{acmart}.) Note that this format has a rather long but limited list of packages that can be used. Please make sure that your document adheres to this list.

The page limit for papers is twelve pages (excluding references).

Submission link for post-review papers: EasyChair.

Only papers that were presented at the IFL 2022 Symposium will be considered for publication.

The deadline for submission of post-reviewed papers is December 5, 2022 (AoE).

Post-symposium peer-review

Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. Notice that it is a requirement that draft papers that are accepted for presentation are presented physically at the symposium.

After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. 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 for the formal proceedings. Papers that are accepted for the formal proceedings are published in the International Conference Proceedings Series of the ACM Digital Library, as in previous years.

Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing.

Peter Landin prize

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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.

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
• testing and proofing
• virtual/abstract machine architectures
• validation, verification of functional programs
• tools and programming techniques
• applications of functional programming in the industry, including
  • functional programming techniques for large applications
  • successes of the application functional programming
  • challenges for functional programming encountered
  • any topic related to the application of functional programming that is interesting for the IFL community

Venue

The symposium will be held physically on the Frederiksberg Campus of the Faculty of Science at the University of Copenhagen. Day 1 (August 31st) will be in meeting room A2-84.01 at Thorvaldsensvej 40. Days 2 and 3 (September 1st and 2nd) will be in the Celebration Auditorium (Festauditorium) at Bülowsvej 17; see the IFL 2022 map.

Copenhagen is easy to get to by plane, train and bus. See IFL 2022 map of Copenhagen. For public transportation within Copenhagen by any combination of train, rapid transit (S-tog), metro and bus, download the app "DOT Tickets", register a credit card, and buy a 2-zone ticket at the start each trip of one hour or less. (For the trip from/to the airport you need a 3-zone ticket.) Alternatively, walk, bike (e.g. via Donkey Republic, Bycyklen, Lime apps) or drive (parking is available at the venue; contact the IFL general chair).

We have not made agreements with specific hotels since Copenhagen is densely packed with hotels at various price levels, all accessible by convenient and frequent public transport from and to the venue. For example WakeUp Copenhagen features small modern rooms, affordable rates and has multiple locations in Copenhagen, including the city center and near Copenhagen Airport. See Google, Hotels.com, Booking.com, AirBnB, TripAdvisor, Momondo, etc, for accommodation. It is a good idea to check cancelation policies in case of last-minute changes such as COVID-19 measures or flight cancelations.

Denmark presently has no entry or other restrictions due to COVID-19. In particular, there are no limitations on sizes of gatherings; wearing face masks is welcome, but is not required anywhere. Health authorities are continuously monitoring Omicron variant infections. Since these have not led to increased hospitalization (yet), no restrictions have been contemplated (yet). The IFL 2022 organizers are carefully following the COVID-19 situation. In the unlikely event of a COVID-19-based imposition of travel or other restrictions in Denmark, IFL 2022 will be held in hybrid format. In such case, at the time of notification authors of accepted papers will be given the option to present their work remotely.

Registration

Registration fee:

Early registration, regular:	DKK 1600
Early registration, student:	DKK 1200
Late registration, regular:	DKK 2000
Late registration, student:	DKK 1600

All fees are including 25% Danish VAT. Aproximate conversion rates: DKK 1000 ~ EUR 135 ~ USD 135 ~ GBP 115 ~ 18750 Yen.

The registration fee covers use of facilities, participation, lunches, coffee breaks, receptions, social outing, symposium dinner and access to draft proceedings. The student discount is made possible by the symposium's industrial sponsors.

Registration link:

https://eventsignup.ku.dk/ifl2022

Organisation

General chair

Fritz Henglein

Program chair

Martin Elsman

Communications chair

Troels Henriksen

Program commitee

• Laura M. Castro, Universidade da Coruña, Spain
• David Christiansen, Haskell Foundation
• Martin Elsman, University of Copenhagen, Denmark (chair)
• Matthew Fluet, Rochester Institute of Technology, USA
• Clemens Grelck, Universiteit van Amsterdam, The Netherlands
• Zhenjiang Hu, Peking University, China
• Robin Kaarsgaard, University of Edinburgh, Scotland
• Gabriele Keller, Utrecht University, The Netherlands
• Oleg Kiselyov, Tohoku University, Japan
• Neil Mitchell, Facebook
• Stefan Monnier, Universite de Montreal, Canada
• Magnus Myreen, Chalmers University, Sweden
• Cyrus Omar, University of Michigan, USA
• Romain Péchoux, University of Lorraine, Inria, France
• Rinus Plasmeijer, Radboud University, The Netherlands
• Morten Rhiger, Roskilde University, Denmark
• Peter van Roy, Catholic University of Louvain, Belgium
• Olin Shivers, Northeastern University, USA
• Peter Thiemann, University of Freiburg, Germany
• Marcos Viera, Universidad de la República, Uruguay
• Meng Wang, University of Bristol, UK

Previous editions of IFL

• 2021
• 2020
• 2019 (from archive.org)
• 2018 (from archive.org)
• 2017 (from archive.org)
• 2016
• 2015
• 2014
• 2013
• 2012

Industrial sponsors

Would you like to sponsor the industrial keynote and reception Friday, 15-17 CET, to make it open and free to the public (up to the capacity of Celebration Auditorium)?

We provide multiple options for you.

Bronze (DKK 5000):

Your logo and link on the IFL 2022 website and in symposium materials; your roll-up or poster in the social space outside the symposium lecture room; one free registration (which can be donated to somebody else). Your sponsorship contributes to discounted student registration by partially covering on-site food and facility costs for students.

Silver (DKK 10000), industrial reception sponsor:

All of Bronze, plus: Named sponsor of industrial reception; with sponsor presentation (in lecture room or social space) at the beginning of the industrial reception.

Acknowledgments