TY  - BOOK
AU  - Chang,Stephen
TI  - Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783031389382
U1  - 005.11 23
PY  - 2023///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Computer programming
KW  - Natural language processing (Computer science)
KW  - Computer systems
KW  - Microprogramming 
KW  - Programming languages (Electronic computers)
KW  - Programming Techniques
KW  - Natural Language Processing (NLP)
KW  - Computer System Implementation
KW  - Control Structures and Microprogramming
KW  - Programming Language
N1  - 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.
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-38938-2
ER  -