Cantitate/Preț
Produs

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ț: 31714 lei

Preț vechi: 39643 lei
-20% Nou

Puncte Express: 476

Preț estimativ în valută:
6071 6311$ 5034£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

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.