A Scheme for the Automatic Inference of Variable Types

Marc A. Kaplan, Jeffrey D. Ullman. A Scheme for the Automatic Inference of Variable Types. Journal of the ACM, 27(1):128-145, 1980. [doi]

Abstract

Abstract is missing.