Parsing Randomness: Unifying and Differentiating Parsers and Random Generators

Harrison Goldstein, Benjamin C. Pierce

"A generator is a parser of randomness." This perspective on generators for random data structures is well established as folklore in the programming languages community, but it ha…