![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
34th IFL 2022: Copenhagen, Denmark
- 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
- 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 - Philip Munksgaard
, Cosmin E. Oancea
, Troels Henriksen
:
Compiling a functional array language with non-semantic memory information. 2:1-2:13 - Mart Lubbers
, Pieter W. M. Koopman
, Rinus Plasmeijer
:
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. 3:1-3:12 - Albert Schimpf
, Stefan Wehr
, Annette Bieniusa
:
Set-theoretic Types for Erlang. 4:1-4:14 - 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 - Patrick Redmond
, Gan Shen
, Niki Vazou
, Lindsey Kuper
:
Verified Causal Broadcast with Liquid Haskell. 6:1-6:13 - Patrick van Beurden
, Sven-Bodo Scholz
:
On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. 7:1-7:13 - Dougal Maclaurin
, Alexey Radul
, Adam Paszke
:
The Foil: Capture-Avoiding Substitution With No Sharp Edges. 8:1-8:10
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.