APLAS 2016Probabilistic Programming Language and its Incremental EvaluationOleg KiselyovDOI 10.1007/978-3-319-47958-3_19dblpBibTeXAbstract elided by the publisher.