Relational modeling and APL

A principled rethinking of array languages like APL

Patterns for failure-free, bounded-space, and bounded-time programming

bytecode interpreters for tiny computers

Bytecode interpreters for tiny computers (2007)