Ole Agesen Constraint-Based Type Inference and Parametric Polymorphism. 78-100 1994 SAS db/conf/sas/sas94.html#Agesen94