Foram desenvolvidos os seguintes projetos no primeiro semestre de 2001:
Avaliacao lazy
(aaf, fum, rgem, rccp, wmmn)
Overloading
(acvbd, lrdb, recc)
Implementando escopo estático com access links
(ccc, jpco, mhfm, sps2)
Inclusão do tipo lista
(apm2, flsp, macs3)
Listas e verificação de tipos de listas
(aop, ctlls, cblns, jpo)
Implementação da verificação de tipos e introdução de tipos genéricos.
(amg, dnlb, mlmd, tjmm, vts)
Implementação de Tipo Enumerado e União de Tipos.
(acf, ejtsr, mvmo)
Implementação de avaliação de Função Parcial.
(acos, cacp, mpa)
Implementação de tuplas.
(ffcc, jaof, mnoj)
Casamento de padrões em LF1
(lab,ogm,tlvls)