Fig. 4From: Ambiguity and context-dependent overloadingPartial order on types, constraints and typing contextsBack to article page