IF098 - Linguagem de Programação 2

 

Pré-requisitos

1. Algoritmos e Estruturas de Dados, IF096

Ementa

1. Introdução a conjuntos e lógica
2. expressões e valores
3. funç ões
4. tipos
5. definições por casamento de padrão
6. abstração funcional (polimorfismo e funç ões de alta ordem)
7. avaliação de expressoes redução conversão(lazy, eager)
8. programação com listas
9. programação com tipos concretos
10. indução
11. invariantes
12. provas

Referências

1. Reade, Chris: `ELEMENTS OF FUNCTIONAL PROGRAMMING', Addison Wesley, 1989
2. Wikström, Ake `FUNCTIONAL PROGRAMMING USING STANDARD ML', Prentice-Hall, 1987