Dominic A. Orchard, Tom Schrijvers
Haskell Type Constraints Unleashed
FLOPS, 2010.
@inproceedings{FLOPS-2010-OrchardS, author = "Dominic A. Orchard and Tom Schrijvers", booktitle = "{Proceedings of the 10th International Symposium on Functional and Logic Programming}", doi = "10.1007/978-3-642-12251-4_6", isbn = "978-3-642-12250-7", pages = "56--71", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Haskell Type Constraints Unleashed}", volume = 6009, year = 2010, }