Trends in Functional Programming
25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10?12, 2024, Revised Selected Papers
Sorozatcím: Lecture Notes in Computer Science; 14843;
-
8% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 62.05
-
26 321 Ft (25 068 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 8% (cc. 2 106 Ft off)
- Discounted price 24 216 Ft (23 063 Ft + 5% áfa)
26 321 Ft
Beszerezhetőség
Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
A Prosperónál jelenleg nincsen raktáron.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadás sorszáma 2024
- Kiadó Springer
- Megjelenés dátuma 2025. január 10.
- Kötetek száma 1 pieces, Book
- ISBN 9783031745577
- Kötéstípus Puhakötés
- Terjedelem241 oldal
- Méret 235x155 mm
- Nyelv angol
- Illusztrációk 50 Illustrations, black & white; 34 Illustrations, color 678
Kategóriák
Hosszú leírás:
This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10?12, 2024.
The 10 full papers included in this book were carefully reviewed and selected from 14 submissions. Topical sections as follows: dependent type systems; compiler optimizations; and DSL design and implementation.
TöbbTartalomjegyzék:
.- Structural Refactorings for Exploring Dependently Typed Programming.
.- Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
.- Towards a more efficient Selection Monad.
.- Compositional Views in Compositional Images.
.- Programming with Dependent Additive Pairs.
.- Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions.
.- Polymorphism with Typed Holes.
.- A Preliminary Type- and Control-Flow Analysis for System F?.
.- Error Messages for Students Taught Using a Systematic Program Design Curriculum.
.- Flattening Combinations of Arrays and Records.
