@inproceedings{DBLP:conf/haskell/BrownS09,
author = {Neil C. C. Brown and
Adam T. Sampson},
title = {Alloy: fast generic transformations for Haskell},
booktitle = {Haskell},
year = {2009},
pages = {105-116},
ee = {http://doi.acm.org/10.1145/1596638.1596652},
crossref = {DBLP:conf/haskell/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/haskell/2009,
editor = {Stephanie Weirich},
title = {Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell,
Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009},
booktitle = {Haskell},
publisher = {ACM},
year = {2009},
isbn = {978-1-60558-508-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}