[Grace-core] The arity problem

[Andrew P Black]

Me to!  I wonder why?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: ACM Library version.pdf
Type: application/pdf
Size: 1454804 bytes
Desc: not available
URL: <http://mailhost.cecs.pdx.edu/pipermail/grace-core/attachments/20151023/28a90ee4/attachment-0001.pdf>
-------------- next part --------------

On 23 Oct 2015, at 16:30 , Kim Bruce <kbbruce47 at gmail.com> wrote:

> My mailer tells me this attachment is empty.  Could you send a new copy?
> 
> Kim
> 
>> On Oct 23, 2015, at 3:46 PM, Andrew P Black <black at cs.pdx.edu> wrote:
>> 
>> 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 "From Partial order to Lattice", which follows.
>>