A calculus for probabilistic languages (2003)

by S Park
Venue:In Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation