Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Knihy - now publishers Inc - 9781680838848 - 05. októbra 2021
V prípade, že obal a názov nesedia, platí názov

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

Dostávať e-mail, keď bude položka k dispozícii
Do you have a profile? Prihlásiť sa

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na 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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 05. októbra 2021
ISBN13 9781680838848
Vydavatelia now publishers Inc
Strany 180
Rozmery 156 × 234 × 10 mm   ·   263 g
Jazyk Angličtina  

Viac od Ranjit Jhala

Zobraziť všetko

Mere med samme udgiver

Pozrieť všetko od Ranjit Jhala ( napr. Paperback Book )