More stuff on the queue:
Formal Parametric Polymorphism, Abadi Cardelli Curien '93
Andrzej's TYPES98 paper, if I can find it. Doesn't seem to be on the internet anywhere.