Return to Article Details Higher-Order Attribute Semantics of Flat Declarative Languages Download Download PDF