Este repositório é destinado para os estudos da teoria da linguagem de programação (PLT). Aqui você encontrará implementações, exemplos e exercícios relacionados a diversos conceitos de PLT.
- Racket: linguagem principal para estudo e experimentação de conceitos de PLT.
- OCaml e Haskell: linguagens funcionais utilizadas para explorar diferentes paradigmas de programação.
- Rust: linguagem de produção para aplicações práticas dos conceitos aprendidos.
- matemática discreta
- livros
- Discrete Mathematics and Its Applications - Kenneth H. Rosen
- Discrete Mathematics with Applications - Susanna S. Epp
- teoria dos grafos
- teoria dos autômatos
- []
- livros
- compiladores
- Compiladores - Curso Completo: Professor Isidro