We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Refinement Types

Refinement Types

By Ranjit Jhala

part of the Foundations and Trends (R) in Programming Languages series

Refinement Types by Ranjit Jhala
About 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.

Show more
  • Language:
  • English
  • ISBN:
  • 9781680838848
  • Binding:
  • Paperback
  • Pages:
  • 180
  • Published:
  • October 4, 2021
  • Dimensions:
  • 156x234x0 mm.
  • Weight:
  • 262 g.
Delivery: 1-2 weeks
Expected delivery: January 4, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

About Ranjit Jhala

View all books by Ranjit Jhala

Description of 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.

User ratings of Refinement Types



Others also bought..
Find similar books
The book Refinement Types can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.