[ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.

[SIGPLAN] SIGPLAN Notices  

Cardelli, Luca (1995) Cardelli, Luca "A language with distributed scope" pp286-297 Dubois, Catherine; Rouaix, François and Pierre Wei (1995) Dubois, Catherine; Rouaix, François and Pierre Weis. "Extensional Polymorphism". Harper, Robert and Morrisett, Greg (1995) Harper, Robert and Morrisett, Greg "Compiling Polymorphism Using Intensional Type Analysis"