Liquid Haskell

Please expand.

References

Liquid Haskell was first introduced in an ICFP 2014 paper:

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton-Jones. 2014. Refinement types for Haskell. In Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (ICFP '14). Association for Computing Machinery, New York, NY, USA, 269–282. https://doi.org/10.1145/2628136.2628161

@inproceedings{10.1145/2628136.2628161,
author = {Vazou, Niki and Seidel, Eric L. and Jhala, Ranjit and 	Vytiniotis, Dimitrios and Peyton-Jones, Simon},
	title = {Refinement Types for Haskell},
	year = {2014},
	isbn = {9781450328739},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	url = {https://doi.org/10.1145/2628136.2628161},
	doi = {10.1145/2628136.2628161},
	booktitle = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming},
	pages = {269–282},
	numpages = {14},
	location = {Gothenburg, Sweden},
	series = {ICFP '14}
}