Programming Languages

  • 10 March 2026

Parallel ANF

A description of an ANF-like intermediate representation that is better suited for parallel evaluation

Read more 
  • 3 March 2026

Intermediate Representations

A description of three common intermediate representation forms used in compilers

Read more 
  • 10 November 2025

Compose Language Introduction

An introduction to my new concatenative programming language, Compose

Read more 
  • 25 October 2025

Polyactive Agents: Multiple Principal Ports

An explanation of a flaw in standard interaction nets that makes them less than optimal for parallel evaluation, and a variation of them that solves this flaw

Read more 
  • 27 September 2025

Parser Combinators

An explanation of common parsing methods for programming languages, an introduction to parser combinators, and why I chose to write my own parser library

Read more 
  • 10 August 2025

Concatenative Programming

Information about concatenative programming, and about specific concatenative languages

Read more 
  • 26 July 2025

Interaction Nets

An explanation of interaction nets and some examples

Read more