Sign in

A lambda-calculus foundation for universal probabilistic programming.

Johannes BorgströmUgo Dal LagoAndrew D. GordonMarcin Szymczak
Published in: ICFP (2016)
Keyphrases
  • lambda calculus
  • programming language
  • program understanding
  • object oriented
  • general purpose
  • predicate calculus
  • computer programming
  • high level
  • data model
  • software engineering
  • fault localization