Contextual Polymorphism Contextual Polymorphism byGlen Je rey Ditch eldA thesis presented to the University of Waterloo in ful lment of the thesis requirement for the degree ofDo ctor of Philosophy inComputer ScienceWaterloo Ontario Canada c