research
∙
06/14/2022
Automatic compile-time synthesis of entropy-optimal Boltzmann samplers
We present a famework for the automatic compilation of multi-parametric ...
research
∙
05/18/2020
How to generate random lambda terms?
We survey several methods of generating large random lambda-terms, focus...
research
∙
02/26/2020
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Combinatorial samplers are algorithmic schemes devised for the approxima...
research
∙
12/11/2018
Towards the average-case analysis of substitution resolution in λ-calculus
Substitution resolution supports the computational character of β-reduct...
research
∙
05/23/2018
Statistical properties of lambda terms
We present a quantitative, statistical analysis of random lambda terms i...
research
∙
04/11/2018
Combinatorics of explicit substitutions
λυ is an extension of the λ-calculus which internalises the calculus of ...
research
∙
02/02/2018
Counting Environments and Closures
Environments and closures are two of the main ingredients of evaluation ...
research
∙
08/03/2017