Cantitate/Preț
Produs
Total produse
Vezi coșul
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers de Stephen Chang

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers: Lecture Notes in Computer Science, cartea 13868

Editat de Stephen Chang
en Limba Engleză Paperback – 28 aug 2023
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33869 lei

Preț vechi: 42337 lei
-20%

Puncte Express: 508
Preț estimativ în valută:
5987€ • 7139$ • 5193£

Carte tipărită la comandă

Livrare economică 16-30 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031389375
ISBN-10: 3031389379
Ilustrații: IX, 107 p. 500 illus., 23 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.18 kg
Ediția:1st ed. 2023
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.