Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers /
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783031389382
- 005.11 23
- QA76.6-76.66
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. .
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.
There are no comments on this title.