|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Stephen ChangPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 13868 Weight: 0.197kg ISBN: 9783031389375ISBN 10: 3031389379 Pages: 107 Publication Date: 28 August 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsImpredicative 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |