Programa

Fundamentos de Linguagens de Programação

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Informática

Programa

Segue-se uma lista provisória dos temas a abordar. 1. Sistemas não tipado, incluindo expressões aritméticas e o cálculo lambda 2. Tipos simples, incluindo novamente expressões aritméticas e o cálculo lambda, mas também extensões simples 3. Tipos recursivos 4. Polimorfismo 5. Tipos lineares 6. Tipos de sessão 7. Traços 8. Propriedade e empréstimo 9. Memória partilhada e troca de mensagens