A lambda-calculus model of programming languages, part II: Jumps and procedures (1976)

by S Kamal Abdali
Venue:Computer Languages