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.

Labels: , ,


Comments:
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?