corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07d5d-7083-71fc-8037-c846b86e9ca6

A Very Early History of Algebraic Data Types

Hillel Wayne · published 25 September 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at hillelwayne.com Wayback capture
1blogs citing
First cited
12 Sept 2026
Most recent
12 Sept 2026
Rank this month
not ranked
Links from this post
36
Words captured
3,474

Cited by

Blog
In the post
Date
makonea.com
Inexpressible States: The History and Usage of Algebraic Data Types Read at the source ↗
12 Sept 2026

Links from this post

Link
Host
https://leanpub.com/logic/
leanpub.com
https://blog.aiono.dev/posts/algebraic-types-are-not-scary,-actually.html
blog.aiono.dev
https://en.wikipedia.org/wiki/Abstract_nonsense
en.wikipedia.org
https://dl.acm.org/
dl.acm.org
https://www-formal.stanford.edu/jmc/basis1.pdf
www-formal.stanford.edu
https://www.softwarepreservation.org/projects/ALGOL/report/Algol60_report_CACM_1960_June.pdf
softwarepreservation.org
https://en.wikipedia.org/wiki/Disjoint_union
en.wikipedia.org
https://dl.acm.org/doi/pdf/10.1145/1464122.1464146
dl.acm.org
https://dl.acm.org/doi/10.5555/1060978.1060993
dl.acm.org
https://www.cs.cornell.edu/courses/cs4860/2018fa/lectures/Notes-on-Data-Structuring_Hoare.pdf
cs.cornell.edu
https://www.cse.chalmers.se/~coquand/TSUG/Burstall.pdf
cse.chalmers.se
https://dl.acm.org/doi/pdf/10.1145/365696.365702
dl.acm.org
https://dl.acm.org/doi/pdf/10.1145/359763.359789
dl.acm.org
https://dl.acm.org/doi/pdf/10.1145/800027.808421
dl.acm.org
https://arxiv.org/html/2505.06456v1
arxiv.org
https://jhc.sjtu.edu.cn/~yutingwang/files/fp/landin-1964.pdf
jhc.sjtu.edu.cn
https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf
cs.cmu.edu
https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf
cs.kent.ac.uk
https://scholar.google.com/scholar?cites=4186643938001872432&as_sdt=400005&sciodt=0,14&hl=en
scholar.google.com
https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/milner-type-polymorphism.pdf
homepages.inf.ed.ac.uk
https://en.wikipedia.org/wiki/Logic_for_Computable_Functions
en.wikipedia.org
https://github.com/theoremprover-museum/LCF77/blob/7a43e95deee18ae37389d98e184b38fdfb3df923/src/files.ml
github.com
Where does the name "algebraic data type" come from? Read at the source ↗
blog.poisson.chat
https://github.com/theoremprover-museum/LCF77
github.com
https://dl.acm.org/doi/pdf/10.1145/512760.512773
dl.acm.org
https://www.ijcai.org/Proceedings/77-2/Papers/095.pdf
ijcai.org
https://dl.acm.org/doi/10.1145/800087.802799
dl.acm.org
https://www.cs.ox.ac.uk/ralf.hinze/WG2.8/32/slides/ml.pdf
cs.ox.ac.uk
http://lucacardelli.name/Papers/ML%20Introduction%20and%20Examples.pdf
lucacardelli.name
https://smlfamily.github.io/sml97-defn.pdf
smlfamily.github.io
https://www.cs.kent.ac.uk/people/staff/dat/miranda/nancypaper.pdf
cs.kent.ac.uk
https://buttondown.email/hillelwayne/
buttondown.email
https://www.hillelwayne.com/consulting/
hillelwayne.com
https://kagi.com/
kagi.com
https://help.kagi.com/kagi/features/bangs.html
help.kagi.com
https://dotat.at
dotat.at