Lambda the Ultimate

Jonathan Edwards has published a draft of his latest OOPSLA submission: First Class Copy & Paste:

The Subtext project seeks to make programming fundamentally easier by altering the nature of programming languages and tools. This paper defines an operational semantics for an essential subset of the Subtext language. It also presents a fresh approach to the problems of mutable state, I/O, and concurrency.

The subtext project has been previously discussed here in LtU.