Mary Shaw's ACM paper--What does it mean to be a Programming Language, anyhow? Paper 
was shared by Ward during Wednesday's June 28, 2023 wiki dev/user podchat, a chat that spanned category theory.
We note Mike Stay who gained his PhD with in category theory worked with Mark S Miller at Google on OCaps and left to work on Toward Capabilities Programming in Rholang