> This was a 2-page summary of my ICFP invited talk to be > published in the proceedings. According to the conference program, your talk is about aspects. Do you know of a connection between aspects and static unit inference? -- Paul