Formalising and Verifying Reference Attribute Grammars in Coq. (ESOP, 2009)

(untitled) - Schäfer, M; Ekman, T; Moor, O