IFL

Keyphrases

Publications

2021

Benjamin Quiring, John H. Reppy, Olin Shivers
3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL (2021)
Amine Zouhair, Nadine Kabbara, Olivier Boudeville, Florian Mancel
Application of Functional Programming in the Energy Industry: A Local Energy Market Simulator Case Study. IFL (2021)
Joanna Sharrad, Olaf Chitil
Refining the Delta Debugging of Type Errors. IFL (2021)
Gijs van Cuyck, Sven-Bodo Scholz
In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays. IFL (2021)
Alejandro Gómez-Londoño, Magnus O. Myreen
A flat reachability-based measure for CakeML's cost semantics. IFL (2021)
Niek Janssen, Sven-Bodo Scholz
On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces. IFL (2021)
33rd Symposium on Implementation and Application of Functional Languages, IFL 2021, Nijmegen, The Netherlands, September 1-3, 2021 IFL (2021)

2020

2019

2018