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
Sistemas de Tipos SubEstruturais para Linguagens Funcionais
Tutor/Responsável: ANTÓNIO MÁRIO DA SILVA MARCOS FLORIDO
Orientador: PEDRO BALTAZAR VASCONCELOS
Instituição: FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DO PORTO (FCUP)
Local: Departamento de Ciência de Computadores 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)
M :: Ciência de Computadores (1º Ano)
MI :: Engenharia de Redes e Sistemas Informáticos (3º Ano) (4º Ano)
PERFIL DE COMPETÊNCIAS
Conhecimentos de Haskell (preferencias) e de Lambda-calculus (também preferencial).
PLANO DE ESTÁGIO
Estudar e implementar alguns sistemas de tipos sub-estruturais conhecidos para o lambda-calculus e programação funcional. Implementar interpretadores que tirem partido da informação obtida pelo sistema de tipos.
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