Cálculo de Programas

Licenciatura em Engenharia Informática

Tópicos

Avisos

27 Set As notas da época especial foram publicadas na secção de funcionamento. O aluno que não preencheu o nome deve contactar pessoalmente o responsável da disciplina com a máxima urgência.

17 Jul O exame da época especial será no dia 21 de Setembro às 14h00 na sala 2206.

25 Jul As notas dos exames de recurso foram publicadas na secção de funcionamento. Os exames podem ser consultados na 3ª feira, dia 28 de Julho às 11h00 na sala DI 0.02. As orais para os alunos com notas de 8 e 9 serão no mesmo dia e sala às 14h00.

9 Jul A consulta dos testes será na sala DI 0.02.

Arquivo

Education » CP0809 » WebHome » Programa

Manelinho

Cálculo point-free

  • Programação funcional usando combinadores.
  • Álgebra da programação funcional: propriedades universais.
  • Técnicas para eliminação de variáveis na definição de funções.

Padrões de recursividade

  • Definição genérica de tipos de dados indutivos usando functores.
  • Definição de funções recursivas usando folds e unfolds.
  • Hilomorfismos: programação com estruturas de dados intermédias.
  • Técnicas para eliminação de recursividade explícita usando padrões de recursividade.
  • Cálculo com funções recursivas: fusão, tupling, etc.

Monads

  • Motivação: funções parciais e o monad Maybe.
  • Computações com estado.
  • Definição formal de monad.

r4 - 01 Apr 2009 - 11:43:26 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM