A reduction semantics for imperative higherorder languages (0)

by M Felleisen, D Friedman
Venue:In Conference on Parallel Architectures and Languages (1987), Lecture Notes in Computer Science