3 ms·John McCarthy's 1964 proposal for the definition of product and sum types in A3 points by fanf2 1y ago