The Semantics of Destructive Lisp (1986) [pdf]

For the record I found this on lobste.rs

https://lobste.rs/s/brpmbo/semantics_destructive_lisp_1986

but as of this moment there has been no discussion there. I had some hope more eyeballs here might result in discussion.

Good Stuff! Is there other research like this out there?