addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Fwd: Updated Featherweight Defenders document available

From: Martijn V.
Sent on: Monday, December 5, 2011 2:19 PM
Hi all,

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.

Comments welcome.


Our Sponsors

  • Our Blog

    Here is a link to our blog

  • RecWorks Ltd

    Fixing Tech Recruitment using the Power of Community

  • jClarity

    Mentoring and a hands on Student Programme for learning industry skills

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy