Estudo das características e da implementação de Linguagens de Programação. Expressividade, evolução, gramática, paradigmas, inferência e verificação de tipos, polimorfismos, registos de activação, programação orientada por objectos.