Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Książki - now publishers Inc - 9781680838848 - 5 października 2021
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Otrzymuj powiadomienia o nowych wydawnictwach Ranjit Jhala

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 5 października 2021
ISBN13 9781680838848
Wydawcy now publishers Inc
Strony 180
Wymiary 156 × 234 × 10 mm   ·   263 g
Język Angielski  

Więcej od Ranjit Jhala

Pokaż wszystko

Więcej od tego samego wydawcy

Zobacz wszystko od Ranjit Jhala ( np. Paperback Book )