research
∙
07/18/2023
Stream Types
We propose a rich foundational theory of typed data streams and stream t...
share
research
∙
03/01/2022
Parsing Randomness: Unifying and Differentiating Parsers and Random Generators
"A generator is a parser of randomness." This perspective on generators ...
research
∙
09/14/2017
