Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Books - now publishers Inc - 9781680838848 - October 5, 2021
In case cover and title do not match, the title is correct

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

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released October 5, 2021
ISBN13 9781680838848
Publishers now publishers Inc
Pages 180
Dimensions 156 × 234 × 10 mm   ·   263 g
Language English  

More by Ranjit Jhala

Show all

See all of Ranjit Jhala ( e.g. Paperback Book )