The URLs that I gave in the two announcements earlier today were missing a component. They should have been: http://www.cs.indiana.edu/hyplan/pierce/papers/lti.ps.gz http://www.cs.indiana.edu/hyplan/pierce/papers/lti-fsub.ps.gz http://www.cs.indiana.edu/hyplan/pierce/papers/bqb.ps.gz (Or, for a complete table of contents: http://www.cs.indiana.edu/hyplan/pierce/papers/index.html ) Sorry 'bout that, B