Purely functional implementation of attribute grammars by