Roadmap for improving the type checker

Typst as a Language

Show HN: JSON Query

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]