Note on Typing Variables and References.

摘要

We consider the polymorphic typing of variables and references with C's address-of operator '' in the context of nonweak types. A natural semantics and type system are given for a polymorphically-typed imperative language with first class functions. The type system is proved sound with respect to the natural semantics. (AN).