Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Data og IT
  5. Refinement Types

Refinement Types

av Ranjit Jhala

del av Foundations and Trends (R) in Programming Languages-serien

Refinement Types av Ranjit Jhala
Om Refinement Types

Inspired by the nanopass framework for teaching compilation, this book shows how to implement refinement types via a progression of languages that incrementally add features to the language or type system. The book provides an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781680838848
  • Bindende:
  • Paperback
  • Sider:
  • 180
  • Utgitt:
  • 5. oktober 2021
  • Dimensjoner:
  • 156x234x0 mm.
  • Vekt:
  • 262 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

Om Ranjit Jhala

Se alle bøkene av Ranjit Jhala

Beskrivelse av Refinement Types

Inspired by the nanopass framework for teaching compilation, this book shows how to implement refinement types via a progression of languages that incrementally add features to the language or type system. The book provides an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning.

Brukervurderinger av Refinement Types



Andre har også kjøpt..
Finn lignende bøker
Boken Refinement Types finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.