default search action

combined dblp search
author search
venue search
publication search

ask others

34th IFL 2022: Copenhagen, Denmark

> 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/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2022
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, IFL 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022. ACM 2022, ISBN 978-1-4503-9831-2
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/FlorS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/FlorS22
João Paulo Pizani Flor, Wouter Swierstra:
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation. 1:1-1:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MunksgaardOH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MunksgaardOH22
Philip Munksgaard, Cosmin E. Oancea, Troels Henriksen:
Compiling a functional array language with non-semantic memory information. 2:1-2:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/LubbersKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LubbersKP22
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. 3:1-3:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SchimpfWB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SchimpfWB22
Albert Schimpf, Stefan Wehr, Annette Bieniusa:
Set-theoretic Types for Erlang. 4:1-4:14
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HuttelNSAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HuttelNSAM22
Hans Hüttel, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen:
A Structure Editor with Type-Safe Copy/Paste. 5:1-5:11
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/RedmondSVK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/RedmondSVK22
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper:
Verified Causal Broadcast with Liquid Haskell. 6:1-6:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BeurdenS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BeurdenS22
Patrick van Beurden, Sven-Bodo Scholz:
On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. 7:1-7:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MaclaurinRP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MaclaurinRP22
Dougal Maclaurin, Alexey Radul, Adam Paszke:
The Foil: Capture-Avoiding Substitution With No Sharp Edges. 8:1-8:10

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.