Trends in Functional Programming

24th International Symposium, TFP 2023, Boston, MA, USA, January 13¿15, 2023, Revised Selected Papers
Herausgegeben:Chang, Stephen

• Broschiertes Buch

Produktbeschreibung

This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023.

The 6 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They span a wide variety of topics including DSL design and implementation, dependent type systems, instruction set architecture, data structures, and logic programming.

Produktdetails

• Lecture Notes in Computer Science 13868
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-38937-5
• 1st ed. 2023
• Seitenzahl: 120
• Erscheinungstermin: 28. August 2023
• Englisch
• Abmessung: 235mm x 155mm x 7mm
• Gewicht: 195g
• ISBN-13: 9783031389375
• ISBN-10: 3031389379
• Artikelnr.: 68281724

Inhaltsangabe

Impredicative Encodings of Inductive-Inductive Data in Cedille.- Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture.- Faster, Simpler Red-Black Trees.- MatchMaker: A DSL for Game-Theoretic Matching.- Nearly Macro-free microKanren.- Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs.