Linear explicit substitutions (extended abstract (1998)

by Neil Ghani , Valeria Paiva , Eike Ritter
Venue:In Proceedings of WESTAPP'98
Citations:1 - 0 self