In paper 'Denotational Validation of Higher-Order Bayesian Inference', the authors made three examples of the higher-order probabilistic programming languages: (language 1) Anglican; (language 2) Church, and (language 3). Note that (language 3) is proposed and introduced by another paper that you've read. Provide the full name of that paper.