@inproceedings{brown-alloy-09, author = {Brown, Neil C.C. and Sampson, Adam T.}, title = {Alloy: fast generic transformations for {H}askell}, booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell}, year = {2009}, isbn = {978-1-60558-508-6}, pages = {105--116}, location = {Edinburgh, Scotland}, doi = {http://doi.acm.org/10.1145/1596638.1596652}, publisher = {ACM}, address = {New York, NY, USA}, }