Solving Equational Constraints in Polymorphic Types.

Jerzy Tiuryn

Browse the full LFCS paper archive.