Dispute for Strickland et al, OOPSLA 12