Not that far back... Try around 1970? In PRG-2* he's still thinking along the lines of "AXIOM 3. A data type is a complete lattice under its partial ordering.

Not that far back... Try around 1970? In PRG-2* he's still thinking along the lines of "AXIOM 3. A data type is a complete lattice under its partial ordering." (p9) https://www.cs.ox.ac.uk/files/3222/PRG02.pdf https://www.cs.ox.ac.uk/files/3222/PRG02.pdf * I loved FJD's mention of '[Maxwell] gave a presidential address ... which was published in volume 2 of the recently founded journal "Nature".'