PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM (2008)

by Dimitrios Vytiniotis
Citations:2 - 1 self