• Sign in
  • Sign up
conf.researchr.org / Pedro Henrique Azevedo de Amorim
  • ICFP 2017 profile
  • POPL 2023 profile
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

Share
xSun 29 Jan 03:48
using conf.researchr.org (v1.58.0)
Support page
Sign Up