Avalia modelos de avaliação preguiçosa, enfocando semântica operacional e implicações para otimização de programas funcionais.

Inclui análise de estratégias de avaliação e de estruturas de dados preguiçosas, com exemplos que ilustram comportamento em tempo de execução.

Apresenta discussões sobre técnicas de implementação e sobre trade-offs práticos para compiladores e runtimes de linguagens funcionais.