Union types in Scala 3

[jimka]

I’m mentioning Scala in the related works section of an article I’m submitting. The article is about the history of function types and subtype relations in Common Lisp.

Can someone tell me whether my statement is correct, or misleading?

Here is the relevant paragraph and citations. Note, that I’m missing the journal name for citation [1]

[jimka]

If anyone cares to look at the article here it is in a preliminary form.
History of CL types

[jducoeur]

Sounds correct to me, but I’m not a deep expert on the topic. You might want to check over in Contributors – IMO, this question would be fair game over there.