2011/4/9 David Herman <dher...@mozilla.com>: >> [aside: as far as I understand Tennent, this has nothing to do >> with his principles of correspondence or abstraction, which >> are often misquoted and conjured with in the archives] > > AFAICT, this traces back to a blog post by Neal Gafter: > > > http://gafter.blogspot.com/2006/08/tennents-correspondence-principle-and.html > > When people say "Tennent's correspondence principle" to mean something like > "beta-conversion is semantics-preserving" I believe this post is where they > got the impression that it has to do with Tennent. For better or worse, it > seems to have stuck.
I was sharing a cube with him then, and from chats with him, it seemed to be a term that the Java guys bandied about a lot but he may have been the one who popularized the usage of it. > Dave > > _______________________________________________ > es-discuss mailing list > es-discuss@mozilla.org > https://mail.mozilla.org/listinfo/es-discuss > _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss