[alquemist]

Algebraic datatypes started with Hope, in the late '70s at Edinburgh. Rod Burstal, David MacQueen and Don Sannella.

https://smlfamily.github.io/history/SML-history.pdf

https://dl.acm.org/doi/10.1145/800087.802799