Return to Article Details Intersection types and overloading Download Download PDF