A probabilistic language based upon sampling functions.

Sungwoo Park, Frank Pfenning, Sebastian Thrun

Browse the full POPL paper archive.