Controlled Branching Processes: A Case Study in Structured Sampling

Background & Problem Statement Earlier this week, we were developing a random AST sampler for a toy language, which is a small subset of a folklore language, IMP. It has a really simple syntax: syntax AExp ::= Int | Id | AExp "/" AExp ...