Pages

▼

14.3.17

Papers We Love: John Reynolds, Definitional Interpreters for Higher-Order Languages, now in Haskell

I suggested at Papers We Love that someone might like to recode John Reynolds's definitional interpeter, and I'm pleased to say that Rein Henrichs has done so.
at

1 comment:

  1. Existential Type15/3/17 2:01 AM

    Good timing, as the term "definitional interpreter" has come to be abused, at POPL of all places, to mean nothing like what John intended.

    ReplyDelete