Get started
Award

Fa9550-21-1-0038

Funded outputs count: 15
Funder award ID: FA9550-21-1-0038
OpenAlex ID: G1785147656
Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)
2026 · Jack Liell-Cock, Sam Staton · Proceedings of the ACM on Programming Languages
LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs
2026 · Maria-Nicoleta Crăciun, C.-H. Luke Ong, et al. · Proceedings of the ACM on Programming Languages
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
2026 · Kammar, Ohad, Liell-Cock, Jack, et al. · arXiv (Cornell University)
PDF
Order in Partial Markov Categories
2025 · Elena Di Lavore, Mario Román, et al. · Electronic Notes in Theoretical Informatics and Computer Science · 1
PDF
Coinductive Streams in Monoidal Categories
2025 · Elena Di Lavore, Giovanni de Felice, et al. · Logical Methods in Computer Science · 3
PDF
Partial Markov Categories
2025 · Di Lavore, Elena, Román, Mario, et al. · arXiv (Cornell University) · 1
PDF
Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories
2025 · Jack Liell-Cock, Sam Staton · Proceedings of the ACM on Programming Languages · 3
Foundations of Software Science and Computation Structures
2025 · Parosh Aziz Abdulla, Delia Kesner · Lecture notes in computer science · 8
PDF
Context-Free Languages of String Diagrams
2025 · Matt Earnshaw, Mario Román · Lecture notes in computer science · 1
PDF
Compositional imprecise probability
2024 · Liell-Cock, Jack, Staton, Sam · arXiv (Cornell University)
PDF
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras
2023 · Sam Staton, Ned Summers · Electronic Proceedings in Theoretical Computer Science · 1
PDF
Affine Monads and Lazy Structures for Bayesian Programming
2023 · Swaraj Dash, Younesse Kaddar, et al. · Proceedings of the ACM on Programming Languages · 12
PDF
Affine Monads and Lazy Structures for Bayesian Programming
2022 · Dash, Swaraj, Kaddar, Younesse, et al. · arXiv (Cornell University)
PDF
Higher Order Automatic Differentiation of Higher Order Functions
2022 · Mathieu Huot, Sam Staton, et al. · Logical Methods in Computer Science · 9
PDF
Fully abstract models for effectful λ-calculi via category-theoretic logical relations
2022 · Ohad Kammar, Shin-ya Katsumata, et al. · Proceedings of the ACM on Programming Languages · 3
PDF
Year
Topic