A Monadic Probabilistic Language (2003)

by Sungwoo Park, Frank Pfenning, Sebastian Thrun
Venue:In Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation