An introduction to liquid Haskell
Proceedings:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Year of publication: 2017
Volume: 237
Pages: 68-80
Type: Conference paper