Fixpoint approach to the theory of computation
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Programming Languages: Design and Implementation
Programming Languages: Design and Implementation
Compiler Construction for Digital Computers
Compiler Construction for Digital Computers
An analysis of parameter evaluation for recursive-procedures.
An analysis of parameter evaluation for recursive-procedures.
Finite array schemata.
The functional power of parameter passage mechanism
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |