9 citations · 37 across the 32 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Random generation of closed simply-typed -terms: a synergy between logic programming and Boltzmann samplers
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
A natural approach to software quality assurance consists in writing unit tests securing programmer-declared code invariants. Throughout the literature a great body of work has bee…
cs.PL2016
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Paul Tarau
Contrary to several other families of lambda terms, no closed formula or generating function is known and none of the sophisticated techniques devised in analytic combinatorics can…