Densities of almost surely terminating probabilistic programs are differentiable almost everywhere - Mak, C; Ong, C-H; Paquet, H; Wagner, D (Lecture Notes in Computer Science, 2021)