Granule, a statically-typed linear functional language with graded modal types

The Cost of a Closure in C: The Rest

Understanding Dart Class Modifiers by Using Lattices

Memory Safety Is …

Nova Programming Language

Structural inheritance doesn't work where you expect it to

The Path to Mojo 1.0

LispMe: An Implementation of Scheme for the Palm Pilot

Adding unpack syntax to RCL

Zig's new plan for asynchronous programs

Nature Programming Language

Galois Slicing as Automatic Differentiation

Lazier Binary Decision Diagrams for set-theoretic types

The Wrong Question About Type Systems

Thirteen years of Rust and the birth of Rue

An expression language for Vixen

Typeslayer - a TypeScript types performance tool

Desugaring the Relationship Between Concrete and Abstract Syntax

Adding Iongraph support to ZJIT

Concrete syntax matters, actually

Unison 1.0

Langjam Gamejam: Build a programming language then make a game with it

Case against OOP is understated, not overstated (2020)

The Easiest Way to Build a Type Checker

Fifty Shades of OOP

The Logic of CUE

Error ABI

A Note on Fil-C

The Error Model (2016)

Creating a Toy Programming Language with Actor-Based Parallelism

More →