Seguir
Pedro H. Azevedo de Amorim
Pedro H. Azevedo de Amorim
Dirección de correo verificada de cs.ox.ac.uk - Página principal
Título
Citado por
Citado por
Año
A specification for dependent types in Haskell
S Weirich, A Voizard, PH Azevedo de Amorim, RA Eisenberg
Proceedings of the ACM on Programming Languages 1 (ICFP), 2017
712017
Modular hardware design with timeline types
R Nigam, PH Azevedo de Amorim, A Sampson
Proceedings of the ACM on Programming Languages 7 (PLDI), 343-367, 2023
92023
Universal semantics for the stochastic λ-calculus
PH Azevedo de Amorim, D Kozen, R Mardare, P Panangaden, M Roberts
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2021
92021
A Higher-Order Language for Markov Kernels and Linear Operators.
PHA de Amorim
FoSSaCS, 89-112, 2023
52023
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
PH Azevedo de Amorim, C Lam
arXiv e-prints, arXiv: 2207.05946, 2022
3*2022
Separated and Shared Effects in Higher-Order Languages
PH Azevedo de Amorim, J Hsu
arXiv preprint arXiv:2303.01616, 2023
22023
First-Order Logic for Flow-Limited Authorization
AK Hirsch, PH Azevedo de Amorim, E Cecchetti, R Tate, O Arden
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020
22020
Compositional Expected Cost Analysis of Functional Probabilistic Programs
PHA de Amorim
arXiv preprint arXiv:2402.01009, 2024
2024
A Unifying Semantics for Markov Kernels and Linear Operators
PHA de Amorim
Cornell University, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9