Efficient Multimethods in a Single Dispatch Language

Generated Redispatching Methods


\|D\| = \|S₁\|
	+ \|S₂\| × \|S₁\|
	+ \|S₃\| × \|S₂\| × \|S₁\| …
	+ \|S_n\| × ... × \|S₂\| × \|S₁\| × 2