Automatic design and implementation of language data types. - Stan Shebs; Robert R. Kessler (PLDI, 1987)