Extending Gamma with Chromatic Typing - H. McEvoy (Department of Computer Systems, University of Amsterdam, The Netherlands, 1994)