Here is the final version of the paper I wrote with Jan as a follow up of my Master’s thesis. I’ll present it at the Workshop on Foundations of Object-Oriented Languages (FOOL’08) on the 13th January in San Francisco. This means I will also attend POPL, with which the workshop is affiliated, and I’m quite excited about it. Anyway, here is the paper and the 64-page extended version with full proofs.
Since the workshop does not count as prior publication the next step for us is to submit a slightly improved version to the Logical Methods in Computer Science journal.