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
1 comment:
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