An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 458.00 kr | I lager | 2-5 dagar | 458.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!