2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2023
Separated and Shared Effects in Higher-Order Languages
Pedro H. Azevedo de Amorim, Justin Hsu
Effectful programs interact in ways that go beyond simple input-output, making compositional reasoning challenging. Existing work has shown that when such programs are ``separate''…
cs.PL2022★ 2 cited
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
Pedro H. Azevedo de Amorim, Christopher Lam
With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Nowadays it has found applications in m…
cs.LO2022
A Higher-Order Language for Markov Kernels and Linear Operators
Pedro H. Azevedo de Amorim
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two cat…