Follow
Pedro Henrique Azevedo de Amorim
Pedro Henrique Azevedo de Amorim
Verified email at cornell.edu - Homepage
Title
Cited by
Cited by
Year
A specification for dependent types in Haskell
S Weirich, A Voizard, PH de Amorim, RA Eisenberg
Proceedings of the ACM on Programming Languages 1 (ICFP), 2017
502017
Universal semantics for the stochastic λ-calculus
PHA 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
12021
First-Order Logic for Flow-Limited Authorization
AK Hirsch, PHA de Amorim, E Cecchetti, R Tate, O Arden
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020
12020
A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics
PHA de Amorim
arXiv preprint arXiv:2202.00142, 2022
2022
A Specification for Dependently-Typed Haskell (Extended version)
S WEIRICH, A VOIZARD, PHA DE AMORIM
The system can't perform the operation now. Try again later.
Articles 1–5