Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Boeken - now publishers Inc - 9781680838848 - 5 oktober 2021
Indien omslag en titel niet overeenkomen, is de titel correct

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

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 5 oktober 2021
ISBN13 9781680838848
Uitgevers now publishers Inc
Pagina's 180
Afmetingen 156 × 234 × 10 mm   ·   263 g
Taal en grammatica Engels  

Meer door Ranjit Jhala

Alles tonen

Bekijk alles van Ranjit Jhala ( bijv. Paperback Book )