HVM Uses Interaction Combinators For Optimal Lambda Calculus Evaluation · Digg