[Grace-core] The arity problem

[Andrew P Black]

I just came across this paper (or mine!) which nicely describes why we need overloading by arity.

The relevant sections are "The Partial Order of Types" on page 11-18 and "Form Partial order to Lattice", which follows.

-------------- next part --------------


	Andrew