What is a good formal definition of purity?

[atravers]

That’s interesting: I was seeing if there were any slides for Krishnamurthi’s presentation when this appeared:

• On the Expressive Power of Programming Langages, Matthias Felleisen (1990).

…is there a connection?