Compilation as metacomputation: Binding time separation in modular compilers (2000)

by William Harrison, Samuel Kamin
Venue:In 5th Mathematics of Program Construction Conference, MPC2000, Ponte de