Bemærk: Kan ikke leveres før jul.
Forventes på lager: 10-01-2025
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;
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2024 ed. |
| Udgivelsesdato | 10-01-2025 |
| Første udgivelsesår | 2025 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 34 Illustrations, color; 50 Illustrations, black and white; IX, 241 p. 84 illus., 34 illus. in color. |
| Fagredaktør | Jason Hemann, Stephen Chang |
| Originalsprog | Switzerland |
| Sideantal | 241 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 241 pages, 34 Illustrations, color; 50 Illustrations, black and white; IX, 241 p. 84 illus., 34 illu |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031745577 |