Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System.

Vassily Litvinov

Browse the full OOPSLA paper archive.