Neil Toronto, Jay McCarthy. From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC. In Jurriaan Hage, Marco T. Morazán, editors, Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers. Volume 6647 of Lecture Notes in Computer Science, pages 89-104, Springer, 2010. [doi]
Abstract is missing.