corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08752-49ca-72f6-b3d3-1081a8f8adc1

Where does the name "algebraic data type" come from?

blog.poisson.chat · published undated

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 blog.poisson.chat Wayback capture
4blogs citing
First cited
27 Aug 2024
Most recent
12 Sept 2026
Rank this month
not ranked
Links from this post
24
Words captured
2,549

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
Hillel Wayne
A Very Early History of Algebraic Data Types Read at the source ↗
25 Sept 2025
Abhinav Sarkar
Interesting Links for November 2024 Read at the source ↗
20 Nov 2024
Henrik Jernevad
Algebraic data types 🧩 Read at the source ↗
27 Aug 2024

Links from this post

Link
Host
https://homepages.inf.ed.ac.uk/dts/pub/hope.pdf
homepages.inf.ed.ac.uk
https://dl.acm.org/doi/10.1145/321992.321996
dl.acm.org
https://en.wikipedia.org/wiki/Logic_for_Computable_Functions
en.wikipedia.org
https://github.com/theoremprover-museum/LCF77
github.com
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://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf
microsoft.com
https://www.cs.tufts.edu/comp/150FP/archive/peter-landin/mechanical-eval.pdf
cs.tufts.edu
https://www.cse.chalmers.se/edu/year/2016/course/course/DAT140/Burstall.pdf
cse.chalmers.se
https://apps.dtic.mil/sti/pdfs/AD0772509.pdf
apps.dtic.mil
https://personal.cis.strath.ac.uk/conor.mcbride/FVMcB-PhD.pdf
personal.cis.strath.ac.uk
https://en.wikipedia.org/wiki/Algebraic_data_type
en.wikipedia.org
https://stackoverflow.com/questions/16770/haskells-algebraic-data-types/5917133
stackoverflow.com
https://stackoverflow.com/questions/5911267/what-are-sums-and-products-data-structures/5914867
stackoverflow.com
http://ozark.hendrix.edu/~yorgey/pub/thesis.pdf
ozark.hendrix.edu
https://personal.cis.strath.ac.uk/conor.mcbride/Dissect.pdf
personal.cis.strath.ac.uk
https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf
cs.kent.ac.uk
https://dl.acm.org/doi/10.5555/647448.727240
dl.acm.org
https://www.pls-lab.org/en/ADJ_group
pls-lab.org
https://dl.acm.org/doi/10.1145/321992.321997
dl.acm.org
https://en.wikipedia.org/wiki/OBJ_(programming_language
en.wikipedia.org
https://dl.acm.org/doi/10.1145/359763.359789
dl.acm.org
https://pmg.csail.mit.edu/ftp.lcs.mit.edu/pub/pclu/CLU/3.Documents/MIT-LCS-TR-225.pdf
pmg.csail.mit.edu
https://pmg.csail.mit.edu/ftp.lcs.mit.edu/pub/pclu/CLU/3.Documents/clu-history.PDF
pmg.csail.mit.edu