64 citations · 81 across the 5 of their papers we have counts for
5 papers
Data-Codata Symmetry and its Interaction with Evaluation Order
David Binder, Julian Jabs, Ingo Skupin +1
Data types and codata types are, as the names suggest, often seen as duals of each other. However, most programming languages do not support both of them in their full generality,…
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…
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…
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel +1
If the result of an expensive computation is invalidated by a small change to the input, the old result should be updated incrementally instead of reexecuting the whole computation…
Reify Your Collection Queries for Modularity and Speed!
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg +3
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating o…