Martin Odersky Philip Wadler Martin Wehr A Second Look at Overloading. 135-146 1995 FPCA db/conf/fpca/fpca95.html#OderskyWW95