Aula 6 (T)
15/10/07 | Teóricas
Noção de padrão e concordância de padrões. Equações como regras de redução.
Redução: lazy evaluation versus eager evaluation.
Definições multi-clausais de funções. Funções totais e funções parciais.
Tipos sinónimos.