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.

Labels: , ,

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

Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?