R Milner

1934

• A proposal for standard ML