A Semantics for Static Type Inference in a Nondeterministic Language

Inf. Comput., 109(1994), pp. 300-306

Abstract

Research Areas