Archived tweet #12051 from the @leastfixedpoint Twitter Archive

What was the recent(ish) paper that presented the history of the two usages of the word "type" in programming languages: logical/syntactic types and representation/implementation "types"/classes/tags? I cannot seem to coax it out of google!