| Topic | Name | Summary |
|---|---|---|
| Programa | Programa de LP 2004/05 | |
| Regras de avaliação | Regras de avaliação | |
| Pauta de época normal | Pauta de época normal | |
| Pauta final LP | Pauta final LP | |
| 1 | 14 Fev - Aula 1 | Apresentação. Introdução. |
| 21 Fev - Aula 2 | Projecto e definição de LPs | |
| 28 Fev - Aula 3 | Lambda calculus | |
| 7 Mar - Aula 4 | Semântica Denotacional | |
| 14 Mar - Aula 5 | ||
| 30 e 31 Mar - Aula 6 (Teórico-Prática) | Inferência de Tipos | |
| 4 Abr - Aula 7 | Polomorfismo, overloading. Linguagens orientadas por blocos. | |
| 11 Abr - Aula 8 | Registos de activação - chamadas de funções. Âmbito estático e âmbito dinâmico. | |
| 18 Abr - Aula 9 | Funções de primeira classe | |
| 27 e 28 Abr - Aula 10 (Teórico-prática) | Excepções | |
| 2 Maio - Aula 11 | programação orientada por objectos | |
| 2 | 16 e 17 Fev - Exercício 1 | Gramática - BNF |
| 16 e 17 Fev - Exercício 2 | Gramática - BNF | |
| 16 e 17 Fev - Introdução DCGs | DCGs | |
| 16 e 17 Fev - Exercício 3 | DCGs | |
| 23 e 24 Fev - Exercício3 continuação (extra) | exercício DCGs | |
| 2 e 3 Mar - Exercício 4 | Lambda Calculus | |
| 9 e 10 Mar | cálculo lambda semântica denotacional | |
| 16 e 17 Mar | Revisões | |
| 6 e 7 Abr | Inferência de tipos, registos de activação | |
| 13 e 14 Abr | Passagem de argumentos e âmbito de variáveis | |
| 20 e 21 Abr | ||
| 4 e 5 Maio | 4 e 5 Maio | |
| 3 | Enunciado | |
| Alterações | Lista das alterações feitas no enunciado do trabalho | |