64 citations · 81 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…