A Semantics for Static Type Inference in a Nondeterministic Language

• 1 February 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 109  (1-2) , 300-306
• https://doi.org/10.1006/inco.1994.1019

Abstract

Keywords

• NONDETERMINISTIC LANGUAGE
• STATIC TYPE INFERENCE
• TYPE INFERENCE