Aviso: Se está a ler esta mensagem, provavelmente o browser que utiliza não é compatível com os "standards" recomendados pela W3C.
Sugerimos que actualize o browser para ter uma melhor experiência de utilização.
Mais informações em webstandards.org

 
 
_
ad
 
A FCUP
ALUNOS
ENSINO
INVESTIGAÇÃO
DEPARTAMENTOS
PESSOAS
SERVIÇOS
CONTACTOS
INFOCIÊNCIAS
Calendário Escolar
Calendário de Exames
Prazos de Inscrições
Regulamentos/Informações
Serviços/Recursos
Bolsa de Emprego
PEEC
AEFCUP
SASUP
[‹‹]VOLTAR
Tipos Regulares para Linguagens Funcionais (Haskell)
Tutor/Responsável: ANTÓNIO MÁRIO DA SILVA MARCOS FLORIDO
Instituição: FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DO PORTO (FCUP)
Local: DCC-FCUP
Área: CIÊNCIA DE COMPUTADORES – PROGRAMAÇÃO FUNCIONAL / LAMBDA-CALCULUS
Ano Lectivo: 2017/2018
Duração: 6 meses
Data início: 2018-02-03
Data final: 2018-07-31
Vagas: 1
Podem candidatar-se: L :: Ciência de Computadores (3º Ano)
L :: Ciências de Engenharia (3º Ano)
L :: Matemática (3º Ano)
MI :: Engenharia de Redes e Sistemas Informáticos (3º Ano) (4º Ano)
PERFIL DE COMPETÊNCIAS
Conhecimentos de Haskell e preferencialmente de Lambda-Calculus.
PLANO DE ESTÁGIO
Estudar sistemas de tipos regulares para a inferência automática de tipos de dados algébricos (datatypes) em linguagens de programação funcional. Implementação de um desses sistemas para um subconjunto da linguagem Haskell.
e-LEARNING
AUTENTICAÇÃO
QUICKLINKS
Webmail
Cooperação Internacional
Centro Informática
Biblioteca
Bolsa Emprego
Como chegar à FCUP?
FUNDO ANTIGO
NOTÍCIAS
GALERIA IMAGENS
SAÚDE E BEM-ESTAR
LINHA SOS - UP
AEFCUP
FCUP 2017