Val Tannen Albert R. Meyer Polymorphism is conservative over simple types (Preliminary Report) 7-17 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#Breazu-TannenM87