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
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 Informatik Künstliche Intelligenz Spracherkennung, Sprachverarbeitung
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
- Mathematik | Informatik EDV | Informatik Angewandte Informatik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
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.
