From ## to ##, a journey through calculi of explicit substitutions (1994)

by P Lescanne
Venue:In Proceedings of the 21st conference on Principles of Programming Languages