ACM Transactions on Programming Languages and Systems May 1996: Vol 18, Nr 3 p 254 Polymorphic Typing of Variables and References by Geoffrey Smith and Dennis Volpano