Litvinov, Vassily "Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System" OOPSLA '98 Conference Proceedings

Languages mentioned

• CECIL {1991} Prototyped OOL