2011/4/9 David Herman <[email protected]>: >> [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 > [email protected] > https://mail.mozilla.org/listinfo/es-discuss > _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
