A probabilistic language based on sampling functions (2008)

by S Park, F Pfenning, S Thrun
Venue:TOPLAS