Surveyor: a DSEL for representing and analyzing strongly typed surveys (2012)

by Wyatt Allen, Martin Erwig
Venue:In Haskell’12