John McCarthy's 1964 proposal for the definition of product and sum types in Adl.acm.org3 pointsfanf2a year ago