Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Knjige - now publishers Inc - 9781680838848 - 5. oktobra 2021
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 5. oktobra 2021
ISBN13 9781680838848
Založniki now publishers Inc
Strani 180
Dimenzije 156 × 234 × 10 mm   ·   263 g
Jezik Angleščina  

Več od Ranjit Jhala

Prikaži vse

Mere med samme udgiver

Ogled vseh Ranjit Jhala ( Na primer Paperback Book )