HUTTON, GRAHAM, "Programming language semantics: It’s easy as 1,2,3", Journal of Functional Programming, 2025