Área da disciplina Programação Funcional Contemporânea, oferecida no segundo semestre de 2010 sob as siglas MAC0434 (Tópicos em Sistemas de Computação) e MAC5765 (Tópicos em Sistemas de Computação I).