- 33rd Symposium on Implementation and Application of Functional Languages, IFL 2021, Nijmegen, The Netherlands, September 1-3, 2021. ACM 2021, ISBN 978-1-4503-8644-9 [contents]
- 2020
- Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson:
Validating Formal Semantics by Property-Based Cross-Testing. IFL 2020: 150-161 - Joris Burgers, Jurriaan Hage, Alejandro Serrano:
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. IFL 2020: 33-43 - Maheen Riaz Contractor, Matthew Fluet:
Type- and Control-Flow Directed Defunctionalization. IFL 2020: 79-92 - Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson:
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. IFL 2020: 67-78 - Kavon Farvardin, John H. Reppy:
A New Backend for Standard ML of New Jersey. IFL 2020: 55-66 - Bas Lijnse, Rinus Plasmeijer:
Typed Directional Composable Editors in iTasks. IFL 2020: 115-126 - Andrew Marmaduke, Christopher Jenkins, Aaron Stump:
Zero-Cost Constructor Subtyping. IFL 2020: 93-103 - Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman:
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE. IFL 2020: 1-10 - Sara Moreira, Pedro B. Vasconcelos, Mário Florido:
Resource Analysis for Lazy Evaluation with Polynomial Potential. IFL 2020: 104-114 - Benjamin Mourad, Matteo Cimini:
A Declarative Gradualizer with Language Transformations. IFL 2020: 44-54 - Nico Naus, Johan Jeuring:
End-user feedback in multi-user workflow systems. IFL 2020: 23-32 - Jocelyn Sérot:
HoCL: High level specification of dataflow graphs. IFL 2020: 11-22 - Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López:
Polymorphic System I. IFL 2020: 127-137 - Hans-Nikolai Vießmann, Sven-Bodo Scholz:
Effective Host-GPU Memory Management Through Code Generation. IFL 2020: 138-149 - Olaf Chitil:
IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020. ACM 2020, ISBN 978-1-4503-8963-1 [contents] - 2019
- Sebastian Ullrich, Leonardo de Moura:
Counting immutable beans: reference counting optimized for purely functional programming. IFL 2019: 3:1-3:12 - Adam D. Barwell, Christopher Brown:
A trustworthy framework for resource-aware embedded programming. IFL 2019: 12:1-12:12 - Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek:
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL 2019: 8:1-8:12 - Olivier Danvy:
Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students. IFL 2019: 2:1-2:9 - Juan García-Garland, Alberto Pardo, Marcos Viera:
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. IFL 2019: 10:1-10:12 - Rudi Horn, Simon Fowler, James Cheney:
Language-integrated updatable views. IFL 2019: 13:1-13:12 - Pieter W. M. Koopman, Rinus Plasmeijer:
A new view on parser combinators. IFL 2019: 6:1-6:11 - Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Interpreting task oriented programs on tiny computers. IFL 2019: 4:1-4:12 - Agustín Mista, Alejandro Russo:
Deriving compositional random generators. IFL 2019: 11:1-11:12 - Nico Naus, Tim Steenvoorden, Markus Klinik:
A symbolic execution semantics for TopHat. IFL 2019: 1:1-1:11 - Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea:
A functional approach to accelerating Monte Carlo based american option pricing. IFL 2019: 5:1-5:12 - John H. Reppy, Joe Wingerter:
Shapes and flattening. IFL 2019: 14:1-14:11 - Sven-Bodo Scholz, Artjoms Sinkarovs:
Tensor comprehensions in SaC. IFL 2019: 15:1-15:13 - Camil Staps, John H. G. van Groningen, Rinus Plasmeijer:
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. IFL 2019: 9:1-9:12