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: , ,


# posted by Philip Wadler @ 10:54 AM
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.

# posted by Blogger Existential Type : 15/3/17 2:01 AM
 
Post a Comment

<< Home

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