Aspects of the ALGOL 68 mode structure

Incomputability

ACM Computing Surveys (CSUR)

Some ideas on data types in high-level languages

Communications of the ACM

Early experience with Mesa

Communications of the ACM

Abstraction and verification in Alphard: defining and specifying iteration and generators

Communications of the ACM

Abstraction mechanisms in CLU

Communications of the ACM

An experimental evaluation of data type conventions

Communications of the ACM

Automatic data structure choice in a language of very high level

Communications of the ACM

A technique for software module specification with examples

Communications of the ACM

Protection in programming languages

Communications of the ACM

ALGOL 68 might-have-beens

Proceedings of the Strathclyde ALGOL 68 conference

Modes in Algol Y

Modes in Algol Y

Data Types

Data Types

On a missing mode in ALGOL 68

ACM SIGPLAN Notices

Modals

ALGOL Bulletin

A brief review of ALGOL 68

ALGOL Bulletin

Proposals for ALGOL H - A Superlanguage of ALGOL 68

ALGOL Bulletin

A Modules and Separate Compilation facility for ALGOL 68

ALGOL Bulletin

The SNOBOL 4 programming language

The SNOBOL 4 programming language

Programming Languages, Information Structures, and Machine Organization.

Programming Languages, Information Structures, and Machine Organization.