Slide 1 Tag-Elimination and Jones Optimality Walid Taha (Yale) Henning Makholm (DIKU) John Hughes (Chalmers) Slide 2 Compiling by Specialising Interpreters The Mix Equation…