Margins
Margins
Sign in
Margins
Subscribe to our newsletter
548 Market St PMB 65688, San Francisco California 94104-5401 USA
hello@margins.app
·
+1 (650) 223-5283
Privacy Policy
·
Terms of Use
© 2026 Paratext Inc. All rights reserved
Programming With Refinement Types, An Introduction to Liquid Haskell
Programming With Refinement Types, An Introduction to Liquid Haskell
By
Ranjit Jhala
,
Niki Vazou
,
Eric Seidel
2026
First Published
5.00
Average Rating
135
Number of Pages
4
H
06
M
Audio Length
An introduction to Liquid Haskell, a system for refinement types.
Avg Rating
5.00
Number of Ratings
2
5 STARS
100%
4 STARS
0%
3 STARS
0%
2 STARS
0%
1 STARS
0%
goodreads
Authors
Ranjit Jhala
Author · 1 book
Niki Vazou
Author · 1 book
Eric Seidel
Author · 1 book
