ACM SIGPLAN International Conference on Functional Programming, ICFP 2016

Article Details
Title: A lambda-calculus foundation for universal probabilistic programming
Article URLs:
Alternative Article URLs:
Authors: Johannes Borgström
  • Uppsala University
Ugo Dal Lago
  • University of Bologna
  • INRIA
Andrew D. Gordon
  • Microsoft Research
  • University of Edinburgh
Marcin Szymczak
  • University of Edinburgh
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/icfp/BorgstromLGS16
Author Comments:

Discuss this paper and its artifacts below