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

2023

PLDI

Author of Modular Hardware Design with Timeline Types within the PLDI Research Papers-track

LAFI

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

2017

ICFP

Author of A Specification for Dependent Types in Haskell within the Research Papers-track