cd/entity/Pedro Henrique Azevedo de Amorim· home› entities› Pedro Henrique Azevedo de Amorim

grep -l @pedro henrique azevedo de amorim /news/*.json | wc -l → 1

Pedro Henrique Azevedo de Amorim

mentions 1 type Person feed RSS

// recent coverage 1 mentions

13:20

2026-08-14

discourse.haskell.org

artificial-intelligence

History of DH (Dependent Types in Haskell) contributions

The Haskell development roadmap for Dependent Types (DH) will be updated with links to key research papers, including PhD theses by Adam Gundry (2013) and Richard A. Eisenberg (2016), a specification …

// co-occurs with top 7 entities

Adam Gundry 1 Richard A. Eisenberg 1 Stephanie Weirich 1 Antoine Voizard 1 Pritam Choudhury 1 Harley Eades III 1 GHC 1

// topics top 5 topics

artificial intelligence 1 machine learning 1 large language models 1 robotics 1 autonomous vehicles 1