Where does the name "algebraic data type" come from? (via fanf) — discussion

#historical #plt