Neil C. C. Brown, Adam T. Sampson. Alloy: fast generic transformations for Haskell. In Stephanie Weirich, editor, Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009. pages 105-116, ACM, 2009. [doi]
Abstract is missing.