Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Böcker - now publishers Inc - 9781680838848 - 5 oktober 2021
Om omslag och titel inte matchar är det titeln som gäller

Ranjit Jhala
Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages

Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

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.

180 pages

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 5 oktober 2021
ISBN13 9781680838848
Utgivare now publishers Inc
Antal sidor 180
Mått 156 × 234 × 10 mm   ·   263 g
Språk Engelska  

Fler produkter med Ranjit Jhala

Visa alla

Se alt med Ranjit Jhala ( t.ex. Pocketbok )