Name: Refinement Types
Price: 1073.95 DKK
Availability: InStock
Author: Ranjit Jhala
ISBN: 9781680838848

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
1.073,95 kr.

Bag om Refinement Types

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.

Vis mere

Sprog:
Engelsk

ISBN:
9781680838848

Forlag:
now publishers Inc

Indbinding:
Paperback

Sideantal:
180

Udgivet:
5. oktober 2021

Størrelse:
156x234x0 mm.

Vægt:
262 g.

BLACK NOVEMBER
1.073,95 kr.
~~1.073,95 kr.~~

Gratis fragt

Leveringstid: 2-3 uger

Forventet levering: 26. november 2024

Bag om Ranjit Jhala

Vis alle bøger af Ranjit Jhala

Beskrivelse af Refinement Types

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.

Brugerbedømmelser af Refinement Types

Andre købte også..

Find lignende bøger

Bogen Refinement Types findes i følgende kategorier:

Business og læring > Computer og IT

Refinement Types

Bag om Ranjit Jhala

Beskrivelse af Refinement Types

Brugerbedømmelser af Refinement Types

Gør som tusindvis af andre bogelskere