default search action

combined dblp search
author search
venue search
publication search

ask others

22nd TFP 2021: Virtual Event

> Home > Conferences and Workshops > TFP

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/sfp/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2021
Viktória Zsók, John Hughes:
Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12834, Springer 2021, ISBN 978-3-030-83977-2

Nested Parallelism, Semantics, Task-Oriented Programming

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sfp/MunksgaardBHGO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MunksgaardBHGO21
Philip Munksgaard, Svend Lund Breddam, Troels Henriksen, Fabian Gieseke, Cosmin E. Oancea:
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark. 3-23
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/FrolichB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/FrolichB21
Damian Frölich, L. Thomas van Binsbergen:
A Generic Back-End for Exploratory Programming. 24-43
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/KoopmanMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KoopmanMP21
Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer:
Dynamic Editors for Well-Typed Expressions. 44-66

Modelling, Translating, Proving Functional Programs

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sfp/Motara21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Motara21
Yusuf Moosa Motara:
High-Level Modelling for Typed Functional Programming. 69-94
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Sefl21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Sefl21
Vít Sefl:
Translating Lambda Calculus into C++ Templates. 95-115
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/MelcerC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MelcerC21
Daniel Melcer, Stephen Chang:
ProofViz: An Interactive Visual Proof Explorer. 116-135

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.