Formal model for defender method resolution

Dag H. Wanvik dag.wanvik at
Fri Jan 21 12:22:51 PST 2011

Brian Goetz <brian.goetz at> writes:

> If you'd like to learn more about the approach used in this document, I 
> highly recommend Pierce's "Types and Programming Languages" 
> (
>   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.


More information about the lambda-dev mailing list