Tópicos avançados da teoria de Linguagens de Programação, que inclui os conceitos de amarrações, valores e tipos de dados (primitivos, compostos, etc.), tipagem estática e dinâmica, variáveis e constantes, expressões e comandos, modularização, abstração de processos e de dados, sistemas de tipos, verificação, inferência, conversão de tipos, tipagem forte x fraca, polimorfismo (coerção, sobrecarga, paramétrico, inclusão), mecanismos de tratamento de exceções, mecanismos de concorrência.
