A probabilistic language based on sampling functions (2006)

by Sungwoo Park, Frank Pfenning
Venue:ACM Transactions on Programming Languages and Systems