PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM (2008)

by Dimitrios Vytiniotis