Formal model for defender method resolution

[Dag H. Wanvik]

Brian Goetz <brian.goetz at oracle.com> writes:

> If you'd like to learn more about the approach used in this document, I 
> highly recommend Pierce's "Types and Programming Languages" 
> (http://www.amazon.com/gp/product/0262162091?ie=UTF8&tag=none0b69&linkCode=as2&camp=1789&creative=9325&creativeASIN=0262162091).
>   It requires very little background in math or theoretical computer 
> science.

I can attest to this. I took Brian's advice some months ago and read
Pierce's book, it was very rewarding. The notation is not so hard as it
may look.

Thanks,
Dag