Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau. Boltzmann Samplers for Closed Simply-Typed Lambda Terms. In Yuliya Lierler, Walid Taha, editors, Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. Volume 10137 of Lecture Notes in Computer Science, pages 120-135, Springer, 2017. [doi]
Abstract is missing.