Introduz conceitos e técnicas de programação concorrente usando a linguagem ML, com foco em modelos de execução e primitivas de sincronização.

Apresenta exemplos de código e exercícios voltados para implementações práticas e experimentação em ambientes de programação funcional.

Endereçado a estudantes de graduação e pós-graduação em ciência da computação e a profissionais interessados em modelos formais de concorrência.