Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name.
S. Kamal Abdali, David S. Wise
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/AbdaliW85 ↗
Browse the full MFPS paper archive.