Equipes e projetos
Equipe 1 :: Tipos Explícitos e Tipos Polimórficos para LF1
Laís Neves (lmn3@cin.ufpe.br)
José Benito (jbfan@cin.ufpe.br)
Alexandre Barza (ab@cin.ufpe.br)
Equipe 2 :: Controle de exceção para LF1
Elvis Maranhão
Roberta Medeiros
Maria Carolina
Rodrigo Cardoso
Felype Santiago
Paola Rodrigues
Equipe 4 :: Array, lista encadeada e registro na LI2
Dener (dd@cin.ufpe.br)
Fernando (fkk@cin.ufpe.br)
Leonardo (lfmo@cin.ufpe.br)
Francisco Salânio (fsvsj@cin.ufpe.br)
Equipe 5 :: Tipos Abstratos de Dados em LI2
Antonio Josivaldo (ajnf@cin.ufpe.br)
Roberto Costa (rca6@cin.ufpe.br)
Luciano Moura (lms4@cin.ufpe.br)
Equipe 6 :: Mecanismos de passagem de parâmetro em LI2: valor-resultado, resultado, cópia
Jasiel Vitalino
Erinaldo
Equipe 7 :: Concorrência com tratamento de exceção para LF2 e LI2.
João Paulo
Elton Renan
Rodrigo Belo
Equipe 8 :: Ponteiros e procedimentos de alta ordem em LI2
Weslley (wst@cin.ufpe.br)
Diego Dias (dmd@cin.ufpe.br)
Rodrigo Luna (rcls2@cin.ufpe.br)
Equipe 9 :: Tipagem dinâmica em LI2
Filipe Varjão
Equipe 10 :: Lambda lifiting em geral, mas aplicado a LF1
Leandro
Vivyane
Walter Maymone (wmmn2@cin.ufpe.br)
Equipe 11 :: Refatoração da linguagem OO2
Tassio Vale (tfv2@cin.ufpe.br)
Equipe 12 :: Inferência de Tipos em LF2
Giovanny Lucero (gflp@cin.ufpe.br)
Equipe 13 :: DSL baseada em LI2
Gleibson Rodrigo (grso@cin.ufpe.br)