A Probabilistic Language Based upon Sampling Functions (2005)

by S Park, F Pfenning, S Thrun
Venue:In Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages