A Semantics for Static Type Inference

Gordon D. Plotkin. A Semantics for Static Type Inference. Inf. Comput., 109(1/2):256-299, February/March 1994.

No reviews for this publication, yet.