I don't know. But I've read quite a number of papers on type systems, type inferences and functional languages in general from late 80s and early 90s, and every time they mention Miranda, there is this footnote that says that "Miranda is a trademark of Research Software Limited", e.g. [0][1][2], so there has to be a reason why they did this. Sure, Turner himself did that as well, see "History of Haskell" [3], "3.8. Haskell and Miranda":
As required to safeguard his trademark, Turner always footnoted the first occurrence of Miranda in his papers to state it was a trademark of Research Software Limited. In response, some early Haskell presentations included a footnote "Haskell is not a trademark".
but that doesn't really explains why others did... so a hypothesis that maybe he did send people who didn't attribute Miranda's trademark a letter of complaint seems somewhat amusing, you know? A small in-joke for those people who brushed against the FP research of the early 90s.
Joker_vD|1 year ago
[0] https://dl.acm.org/doi/pdf/10.1145/75277.75283
[1] https://christopherclack.com/images/Documents/kielty-1997.pd..., bottom of p. 3
[2] https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&d...
[3] https://www.microsoft.com/en-us/research/wp-content/uploads/...
syrak|1 year ago