Collaborated with:G.Barthe M.Gaboardi D.G.0001 L.Birkedal A.Bizjak T.Sato J.Hsu
Talks about:probabilist (2) reason (2) calculus (1) bayesian (1) approxim (1) program (1) converg (1) markov (1) lambda (1) higher (1)
Person: Alejandro Aguirre 0001
DBLP: 0001:Alejandro_Aguirre
Contributed to:
2018
2019Wrote 2 papers:
- ESOP-2018-0001BBBG0 #markov #probability #reasoning #relational #λ-calculus
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus (AA0, GB, LB, AB, MG, DG0), pp. 214–241.
- POPL-2019-SatoABGGH #approximate #convergence #higher-order #optimisation #probability #reasoning #source code #verification
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization (TS, AA0, GB, MG, DG0, JH), p. 30.