name = 'Denotational semantics'
description = 'Adding meaning to grammars for list-processing languages.'