Buch, Englisch, 107 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 195 g
24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Buch, Englisch, 107 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 195 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-38937-5
Verlag: Springer Nature Switzerland
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Angewandte Informatik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Spracherkennung, Sprachverarbeitung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
Weitere Infos & Material
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.
