Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities - Bradley Gram-Hansen; Yuan Zhou; Tobias Kohn; Tom Rainforth; Hongseok Yang; Frank Wood (2018)