
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 | Separated and Shared Effects in Higher-Order Languages Distribution Theoretic Semantics for Non-Smooth Differentiable Programming | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile