A probabilistic language based upon samplingfunctions (0)

by Sunwoo Park, Frank Pfenning, Sebastian Thrun