Hacker News new | comments | show | ask | jobs | submit login

By the way, Google seems to think that it's called Tennent's Correspondence Principle, not Tennet's. Might be helpful to those who, like me, hadn't heard of it.

Fixed in the original post. Thanks for letting me know about the typo!

It's described briefly in R. D. Tennent's Book Principles of Programming Languages, but it doesn't really go into much depth about the ramifications. Did Tennent write a paper with more discussion of the principle?

(I got a hold of a copy after I ran into the topic previously: http://blog.marcchung.com/2009/02/18/how-closures-behave-in-... )

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact