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.
Posted by at
Labels: , ,

1 comment:

Existential Type said...

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

15/3/17 2:01 AM

Post a Comment

Subscribe to: Post Comments (Atom)