Polarized name passing (1995)

by Martin Odersky
Venue:In Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 1026