Dana N. Xu
Extended static checking for haskell
Haskell, 2006.
@inproceedings{Haskell-2006-Xu, author = "Dana N. Xu", booktitle = "{Proceedings of the 10th Haskell Workshop}", doi = "10.1145/1159842.1159849", isbn = "1-59593-489-8", pages = "48--59", publisher = "{ACM}", title = "{Extended static checking for haskell}", year = 2006, }