Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Grāmatas - now publishers Inc - 9781680838848 - 2021. gada 5. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Ranjit Jhala izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2021. gada 5. oktobris
ISBN13 9781680838848
Izdevēji now publishers Inc
Lapas 180
Izmēri 156 × 234 × 10 mm   ·   263 g
Valoda Angļu  

Vairāk no Ranjit Jhala

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Ranjit Jhala ( piem., Paperback Book )