Follow
Pedro H. Azevedo de Amorim
Pedro H. Azevedo de Amorim
University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
752017
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
112023
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
102021
A Higher-Order Language for Markov Kernels and Linear Operators.
PHA de Amorim
FoSSaCS, 89-112, 2023
72023
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
42020
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
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
Classical Linear Logic in Perfect Banach Lattices
PHA de Amorim, L Witzman, D Kozen
An Enriched Calculus for Kernels and Linear Operators
PHA DE AMORIM
The system can't perform the operation now. Try again later.
Articles 1–11