Linearity and the Pi-Calculus, Naoki Kobayashi and Benjamin C. Pierce and David N. Turner. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, 1996.
Dynamic Typing in a Statically Typed Language, Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin. In ACM Transactions on Programming Languages and Systems, 1991.