From oe to AE a journey through calculi of explicit substitutions (1994)

by P Lescanne
Venue:In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages