conf.researchr.org / Pedro Henrique Azevedo de Amorim
Pedro Henrique Azevedo de Amorim

Registered user since Thu 4 May 2017

Name:Pedro Henrique Azevedo de Amorim
Affiliation:Cornell University
Personal website:https://www.cs.cornell.edu/~pamorim/

Contributions

LAFI 2023 Author of Separated and Shared Effects in Higher-Order Languages within the LAFI 2023-track
Author of Distribution Theoretic Semantics for Non-Smooth Differentiable Programming within the LAFI 2023-track
ICFP 2017 Author of A Specification for Dependent Types in Haskell within the Research Papers-track