wrongbyte/awesome-type-theory

Awesome Type Theory

Uma lista de recursos pra estudar e ir fundo em ⚡ Teoria de Tipos ⚡

Livros 📚

• Types and Programming Languages

Artigos 🌐

• Na Wikipedia

Palestras/Videos 📽️

• Computational Type Theory - Robert Harper - OPLSS
• Teoria dos tipos na programação (feat Marcos Magueta)

Podcasts 🎧

• Peter Dybjer on types and testing

Docs/PDF's

• Tópicos em Formalismos da Computação: Teoria de Tipos

Fique à vontade pra adicionar outros recursos e fontes sobre o tema 🚀 😁