Jan Springintveld Third-Order Matching in the Polymorphic Lambda Calculus. 221-237 1995 conf/hoa/1995 HOA db/conf/hoa/hoa95.html#Springintveld95