Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers /

Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers / [electronic resource] : edited by Stephen Chang. - 1st ed. 2023. - IX, 107 p. 500 illus., 23 illus. in color. online resource. - Lecture Notes in Computer Science, 13868 1611-3349 ; . - Lecture Notes in Computer Science, 13868 .

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.

9783031389382

10.1007/978-3-031-38938-2 doi


Computer programming.
Natural language processing (Computer science).
Computer systems.
Microprogramming .
Programming languages (Electronic computers).
Programming Techniques.
Natural Language Processing (NLP).
Computer System Implementation.
Control Structures and Microprogramming.
Programming Language.

QA76.6-76.66

005.11
© 2024 IIIT-Delhi, library@iiitd.ac.in