@dblp

A General Scheme for the Automatic Inference of Variable Types.

, and . POPL, page 60-75. ACM Press, (1978)

Links and resources

Tags