O documento discute funções e procedimentos em linguagens de programação. Apresenta como funções e procedimentos são abstrações que permitem parametrização de computações. Detalha as diferenças entre funções e procedimentos e como cada um é definido em linguagens como C, C++, Haskell e Ada. Inclui explicações sobre parâmetros formais versus reais, mecanismos de passagem de parâmetros e ordem de avaliação.