Caseau, Yves and Perron, Laurent "Attaching Second-Order Types to Methods in an Object-Oriented Language"

[ECOOP] (1993) [ECOOP] ECOOP '93 Conference Proceedings, Kaiserslautern, Germany, July, 1993  

Languages mentioned LAURE {1989}