Analysis of information sources in references of the Wikipedia article "代数数据类型" in Chinese language version.
Presentations included Rod Burstall, Dave MacQueen, and Don Sannella on Hope, the language that introduced algebraic data types
Datatypes
(页面存档备份,存于互联网档案馆) and Logic
(页面存档备份,存于互联网档案馆).