The book on Foundations of Probabilistic Programming, a collection of survey papers is now available

It is available under gold open access, so you can download a pdf for free. It contains contributions by e.g. Kozen, Panangaden, Plotkin, Dal Lago, Pierce, Chatterjee, Gordon, and Katoen