Pedro Henrique Avezedo de Amorim

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Provably Correct

Top Venues

Proc. ACM Program. Lang.

Publications

Stephanie Weirich, Antoine Voizard, Pedro Henrique Avezedo de Amorim, Richard A. Eisenberg
A specification for dependent types in Haskell. Proc. ACM Program. Lang. 1 (ICFP) (2017)