6.6.16
Papers We Love: John Reynolds, Definitional Interpreters for Higher Order Languages
I will be speaking on John Reynolds paper, Definitional Interpreters for Higher Order Languages, at Papers We Love, London, 6:30pm Tuesday 7 June; details here.
Labels: Functional Programming, Programming Languages, Theory, Types