default search action

combined dblp search
author search
venue search
publication search

ask others

24th TFP 2023: Boston, MA, USA

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2023
Stephen Chang:
Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers. Lecture Notes in Computer Science 13868, Springer 2023, ISBN 978-3-031-38937-5
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/MarmadukeDS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MarmadukeDS23
Andrew Marmaduke, Larry Diehl, Aaron Stump:
Impredicative Encodings of Inductive-Inductive Data in Cedille. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/TempelBL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/TempelBL23
Sören Tempel, Tobias Brandt, Christoph Lüth:
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. 16-35
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Moy23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Moy23
Cameron Moy:
Faster, Simpler Red-Black Trees. 36-50
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/KumarE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KumarE23
Prashant Kumar, Martin Erwig:
MatchMaker: A DSL for Game-Theoretic Matching. 51-71
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/HemannF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HemannF23
Jason Hemann, Daniel P. Friedman:
Nearly Macro-free microKanren. 72-91
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/DAlvesDGA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DAlvesDGA23
Curtis D'Alves, Lucas Dutton, Steven Gonder, Christopher Kumar Anand:
Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs. 92-105

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.