6 citations · 8 across the 8 of their papers we have counts for
4 papers · 1 filter
How to generate random lambda terms?
Maciej Bendkowski
We survey several methods of generating large random lambda-terms, focusing on their closed and simply-typed variants. We discuss methods of exact- and approximate-size generation,…
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Combinatorial samplers are algorithmic schemes devised for the approximate- and exact-size generation of large random combinatorial structures, such as context-free words, various…
Statistical properties of lambda terms
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
We present a quantitative, statistical analysis of random lambda terms in the de Bruijn notation. Following an analytic approach using multivariate generating functions, we investi…
Polynomial tuning of multiparametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such a…