Boltzmann samplers for random generation of lambda terms

Pierre Lescanne

Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random ${}^{\prime }l$-terms is more specifically needed for testing and…