64 citations · 68 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 64 cited
Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár +7
We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inferenc…
cs.SE2017★ 4 cited
A Module-System Discipline for Model-Driven Software Development
Sebastian Erdweg, Klaus Ostermann
Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing f…