Jump to ratings and reviews
Rate this book

Programming With Refinement Types, An Introduction to Liquid Haskell

Rate this book
An introduction to Liquid Haskell, a system for refinement types.

135 pages, Unknown Binding

1 person is currently reading
6 people want to read

About the author

Ranjit Jhala

10 books

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
2 (100%)
4 stars
0 (0%)
3 stars
0 (0%)
2 stars
0 (0%)
1 star
0 (0%)
No one has reviewed this book yet.

Can't find what you're looking for?

Get help and learn more about the design.