Modelling environments in call-by-value programming languages (0)

by P B Levy, A J Power, H Thielecke
Venue:Inf. & Comp