An implementation of Attribute Grammars using Functional Zippers, includes some usage examples. For more information, refer to works such as "Zipper-based Attribute Grammars and their Extensions".