Klaus Ostermann

Identifiers

• name variant Klaus Ostermann 0.60 · backfill

Papers (3)

1. Denotational validation of higher-order Bayesian inference cs.PL · 2017 · author #7
2. A Theory of Changes for Higher-Order Languages - Incrementalizing {\lambda}-Calculi by Static Differentiation cs.PL · 2013 · author #4
3. Reify Your Collection Queries for Modularity and Speed! cs.PL · 2012 · author #2

Mentions

• 1312.0658 #4 · backfill · confidence 0.70 Klaus Ostermann
• 1210.6284 #2 · backfill · confidence 0.70 Klaus Ostermann

Frequent Coauthors

• Paolo G. Giarrusso 2 shared papers
• Tillmann Rendel 2 shared papers
• Yufei Cai 2 shared papers
• Adam \'Scibior 1 shared papers
• Chris Heunen 1 shared papers
• Christian K\"astner 1 shared papers
• Hongseok Yang 1 shared papers
• Matthijs V\'ak\'ar 1 shared papers
• Michael Eichberg 1 shared papers
• Ohad Kammar 1 shared papers
• Ralf Mitschke 1 shared papers
• Sam Staton 1 shared papers
• Sean K. Moss 1 shared papers
• Zoubin Ghahramani 1 shared papers