Tag elimination and Jones-optimality (2001)

by W Taha, H Makholm, J Hughes
Venue:Programs as Data Objects. Proceedings, LNCS 2053