On the criteria to be used in decomposing systems into modules (1972)

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications

Principles of a reversible programming language

Verus: A Practical Foundation for Systems Verification

Study Examines How to Thoughtfully Represent ADHD in Video Games Through Teen Perspectives

The Ultimate Conditional Syntax

An Experimental Study of Bitmap Compression vs. Inverted List Compression

APL since 1978

Role of Composition in Computer Programming (1995)

Towards an API for the Real Numbers Hans