### POPL?

POPL 2011 convenes in Austin next January: we must get a Fortress paper in. The PLRG team has been itching to get something into POPL, and apparently there is outside interest in such work. Eric is convinced that our work on generic overloading — primarily from last summer — is novel enough for a submission, which means we’re in crunch mode for a few months to hammer out the implementation in Fortress and then a generalized theory on paper.

• a relation that specifies the only allowed subtypes of a type (the comprises clause), and
• a relation declaring disjoint types (the excludes clause),
• an algorithm for inference of type arguments to function calls (e.g. head [\ Int \] (some_int_list)),