A Note on Typing Variables and References.
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
We consider the polymorphic typing of variables and references with Cs 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
- Computer Programming and Software