default search action

combined dblp search
author search
venue search
publication search

ask others

32nd IFL 2020: Virtual Event / Canterbury, UK

> Home > Conferences and Workshops > IFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2020
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MitchellKILDSSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MitchellKILDSSP20
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. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Serot20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Serot20
Jocelyn Sérot:
HoCL: High level specification of dataflow graphs. 11-22
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/NausJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/NausJ20
Nico Naus, Johan Jeuring:
End-user feedback in multi-user workflow systems. 23-32
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BurgersH020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BurgersH020
Joris Burgers, Jurriaan Hage, Alejandro Serrano:
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. 33-43
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MouradC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MouradC20
Benjamin Mourad, Matteo Cimini:
A Declarative Gradualizer with Language Transformations. 44-54
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/FarvardinR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/FarvardinR20
Kavon Farvardin, John H. Reppy:
A New Backend for Standard ML of New Jersey. 55-66
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/EinarsdottirSJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/EinarsdottirSJ20
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson:
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. 67-78
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ContractorF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ContractorF20
Maheen Riaz Contractor, Matthew Fluet:
Type- and Control-Flow Directed Defunctionalization. 79-92
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MarmadukeJS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MarmadukeJS20
Andrew Marmaduke, Christopher Jenkins, Aaron Stump:
Zero-Cost Constructor Subtyping. 93-103
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MoreiraVF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MoreiraVF20
Sara Moreira, Pedro B. Vasconcelos, Mário Florido:
Resource Analysis for Lazy Evaluation with Polynomial Potential. 104-114
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/LijnseP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LijnseP20
Bas Lijnse, Rinus Plasmeijer:
Typed Directional Composable Editors in iTasks. 115-126
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SottileDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SottileDL20
Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López:
Polymorphic System I. 127-137
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ViessmannS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ViessmannS20
Hans-Nikolai Vießmann, Sven-Bodo Scholz:
Effective Host-GPU Memory Management Through Code Generation. 138-149
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BereczkyHKST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BereczkyHKST20
Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson:
Validating Formal Semantics by Property-Based Cross-Testing. 150-161

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.