Alloy: Fast Generic Transformations for Haskell (2009)

by Neil C C Brown, Adam T Sampson
Venue:In Haskell ’09: Proceedings of the 2009 ACM SIGPLAN Haskell Symposium