Refinement Types

Author : Niki Vazou,Ranjit Jhala

Paperback

Published : Tuesday 5 October 2021

ISBN : 9781680838848

Price : €85.41

Description

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.

You may also like ...

Refinement Types

by Niki Vazou,Ranjit Jhala

Paperback

05 Oct 2021

Programming and scripting languages: general

€85.41

Extended stock – Dispatch 5-7 days

Making International Institutions Work

by Ranjit Lall

Hardback

23 Feb 2023

International relations

€117.00

Extended stock – Dispatch 5-7 days

Kathmandu Dilemma

by Ranjit Rae

Paperback

19 Dec 2022

Biography and non-fiction prose

€18.66

Extended stock – Dispatch 5-7 days

Much Ado About Nothing

by Ranjit Bolt,William Shakespeare

Paperback

14 Jun 2022

The Arts: treatments and subjects

€9.36

Extended stock – Dispatch 5-7 days

Reviews