David MacQueen

• The definition of standard ML