Tag elimination and Jones-optimality (2001)

by Walid Taha, Henning Makholm, John Hughes
Venue:PADO ’01: Proceedings of the Second Symposium on Programs as Data Objects, volume 2053 of Lecture Notes in Computer Science (LNCS