Uma lista de recursos pra estudar e ir fundo em ⚡ Teoria de Tipos ⚡
- Computational Type Theory - Robert Harper - OPLSS
- Teoria dos tipos na programação (feat Marcos Magueta)
Fique à vontade pra adicionar outros recursos e fontes sobre o tema 🚀 😁
-
Notifications
You must be signed in to change notification settings - Fork 1
lincolixavier/awesome-type-theory
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published