default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th 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
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.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
