Read Robert Harper's blog for everything in the constructivist, type theory stat... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

hackermailman on July 13, 2019 | parent | context | favorite | on: Constructive mathematics and computer programming ...

Read Robert Harper's blog for everything in the constructivist, type theory state of the art: https://existentialtype.wordpress.com/2018/01/15/popl-2018-t...

There's also the OPLSS lectures if you're interested: https://www.cs.uoregon.edu/research/summerschool/summer16/cu...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact