Wyatt Allen, Martin Erwig. Surveyor: a DSEL for representing and analyzing strongly typed surveys. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 81-90, ACM, 2012. [doi]
Abstract is missing.