u/rollingstonei3in r/haskell • Recommends
A Functional Programmer's Guide to Homotopy Type Theory
0:00 / 0:00
#homotopytypetheory#typetheory#icfp
3 01 A Functional Programmer's Guide to Homotopy Type Theory
ICFP Video
3.8K subscribers • 23 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
27K views10 years ago1 recommendation
Computer scienceProgramming languagesComputation and complexityFunctional programming
An introduction to Homotopy Type Theory tailored for functional programmers, exploring its mathematical foundations and implications.
The uploader added no description.