Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings - Olivier Danvy, Andrzej Filinski ((Lecture Notes in Computer Science))