A fresh calculus for name management (2004)

by Davide Ancona, Eugenio Moggi
Venue:In GPCE ’04: Proceedings of the 3rd International Conference on Generative Programming and Component Engineering