Cantitate/Preț
Produs
Total produse
Vezi coșul
Trends in Functional Programming de Stephen Chang

Trends in Functional Programming: 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ț: 34038 lei

Preț vechi: 42547 lei
-20%

Puncte Express: 511

Carte tipărită la comandă

Livrare economică 15-29 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

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

Specificații

ISBN-13: 9783031389375
ISBN-10: 3031389379
Pagini: 120
Ilustrații: IX, 107 p. 500 illus., 23 illus. in color.
Dimensiuni: 155 x 235 x 7 mm
Greutate: 0.2 kg
Ediția:1st edition 2023
Editura: Springer
Colecția Lecture Notes in Computer Science
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.