Symposium on principles of programming languages (4 ; 1977 ; Los Angeles)

Minimal and optimal computations of recursive programs

Minimal and optimal computations of recursive programs

1977

Threshold evaluation and the semantics of call by value, assignment and generic procedures

Threshold evaluation and the semantics of call by value, assignment and generic procedures

1977