The biggest semantic mess in Futhark

Why formalize mathematics – more than catching errors

An Efficient Implementation of SELF (1989) [pdf]

Metalang99: a rich functional language implemented in C99 preprocessor

Stackful Coroutine Made Fast

From Linearity to Borrowing

The Unix Executable as a Smalltalk Method [pdf]

Dijkstra on the foolishness of natural language programming (1978)

Flowistry: An IDE plugin for Rust that focuses on relevant code

Let's Take Esoteric Programming Languages Seriously