@Unpublished{Garrigue02, author = {Jacques Garrigue}, title = {Simple Type Inference for Structural Polymorphism}, note = {(Presented at 9th Workshop on Foundations of Object-Oriented Languages (FOOL), Portland, OR, January 2002)}, month = "December", year = 2002 }