Linear explicit substitutions (extended abstract (1998)

by Neil Ghani, Valeria de Paiva, Eike Ritter
Venue:In Proceedings of WESTAPP'98