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