Ricardo Pena Compiler Construction in a Functional Setting. 510-524 2000 conf/wflp/2000 WFLP db/conf/wflp/wflp2000.html#Pena00