Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A proposal for input-output conventions in ALGOL 60
Communications of the ACM
The next 700 programming languages
Communications of the ACM
AXLE2: an axiomatic language for string transformations
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES
A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES
ACM SIGPLAN Notices
Hi-index | 0.00 |