Solving equational constraints in polymorphic types

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023900 ◽

2005 ◽

pp. 480-492

Author(s):

Jerzy Tiuryn