In search of effectful dependent types by Vákár, M

Correctness of automatic differentiation via diffeologies and categorical gluing by Huot, M, Staton, S, Vákár, M

Higher order automatic differentiation of higher order functions by Huot, M, Staton, S, Vákár, M

A domain theory for statistical probabilistic programming by Vákár, M, Kammar, O, Staton, S

Game semantics for dependent types by Vákár, M, Jagadeesan, R, Abramsky, S

Denotational validation of higher-order Bayesian inference by Scibior, A, Kammar, O, Vakar, M, Staton, S, Yang, H, Cai, Y, Ostermann, K, Moss, SK, Heunen, C, Ghahramani, Z

Interpreting lion behaviour with nonparametric probabilistic programs by Dhir, N, Wood, F, Vakar, M, Markham, A, Wijers, M, Trethowan, P, Du Preez, B, Loveridge, A, Macdonald, D