External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Boltzmann Samplers for Closed Simply-Typed Lambda Terms

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]

Authors

Maciej Bendkowski

This author has not been identified. Look up 'Maciej Bendkowski' in Google

Katarzyna Grygiel

This author has not been identified. Look up 'Katarzyna Grygiel' in Google

Paul Tarau

This author has not been identified. Look up 'Paul Tarau' in Google
runs on