Sam and I have been working on modular analysis for a language with contracts. We're submitting to ESOP on Friday and would appreciate any feedback from the PRL. http://www.ccs.neu.edu/home/dvanhorn/tmp/modular.pdf Thanks, David (and Sam)