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 | 75 | 2017 |
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 | 10 | 2023 |
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 | 10 | 2021 |
A Higher-Order Language for Markov Kernels and Linear Operators. PHA de Amorim FoSSaCS, 89-112, 2023 | 6 | 2023 |
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming PH Azevedo de Amorim, C Lam arXiv e-prints, arXiv: 2207.05946, 2022 | 3* | 2022 |
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 | 3 | 2020 |
Separated and Shared Effects in Higher-Order Languages PH Azevedo de Amorim, J Hsu arXiv preprint arXiv:2303.01616, 2023 | 2 | 2023 |
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 |
An Enriched Calculus for Kernels and Linear Operators PHA DE AMORIM | | |