For those interested in language design and how lambdas are coming in
Java 8 then this one is for you!
---------- Forwarded message ----------
From: Brian Goetz <[address removed]>
Date: 2 December[masked]:32
Subject: Updated Featherweight Defenders document available
To: "[address removed]" <[address removed]>
I have completed a major refinement of the formal model for defender
resolution. There are significant cleanups in the math (mostly notably
fixing the ambiguity surrounding the meaning of 'nil' in lookup
functions) which enabled some simplifications in the model; we were able
to eliminate many of the internal predicates (SigOK, BodyOK) and thereby
simplify (and in some cases, eliminate) many rules. Also added are new
judgments for resolution of I.super.m() calls.