Linear explicit substitutions (Extended Abstract) (1998)

by Neil Ghani , Valeria de Paiva , Eike Ritter
Venue:IN PROCEEDINGS OF WESTAPP'98
Citations:1 - 0 self