Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 €
Zberné miesto GLS 2.99 €
SPS 3.99 €
Kuriér GLS 3.49 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Pošta 3.99 €
Zberné miesto DPD 2.99 €
Zberné miesto DPD 0.00 €
Packeta 2.99 €
Kontakt
Ako nakupovať
Pomoc
Doručenie
Kuriér DPD 2.99 €
Zberné miesto GLS 2.99 €
SPS 3.99 €
Kuriér GLS 3.49 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Pošta 3.99 €
Zberné miesto DPD 2.99 €
Zberné miesto DPD 0.00 €
Packeta 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
▸
Prázdny :-(
0
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Programming in System Fω using Dhall
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book is an advanced tutorialon functional programming in System Fω using Dhall.The book's topic...
Celý popis
Libristo kód: 51970671
?
127 b
Nové
127 b
Nové
52.60
€
Skladom u dodávateľa
Odosielame za 9-15 dní
30 dní na vrátenie tovaru
This book is an advanced tutorial
on functional programming in System Fω using Dhall.
The book's topics include an overview of Dhall's type system;
techniques for numerical calculations in Dhall;
techniques for encoding recursive types and code in System F$\omega$ via the Church encoding;
implementation of various combinators and typeclass derivation for functors, monads, and other
typeclasses;
and some basic applications of dependent types.
The book shows many code examples that have been validated by the Dhall interpreter.
Herečka
&
Polyglotka
EWA KASP
pre
Prehrať video
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.
Informácie o knihe
Celý názov
Programming in System Fω using Dhall
Autor
Sergei Winitzki
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2026
Počet strán
468
EAN
9781105582912
ISBN
1105582914
Libristo kód
51970671
Nakladateľstvo
Lulu.com
Váha
831
Rozmery
189 x 246 x 24
