Jacob Thomas Errington's blog

Implementing dependent types: how hard could it be? (Part 2)

Implementing dependent types: how hard could it be? (Part 1)

An inductive model of food

Three detailed solutions to Leetcode #10: regular expression matching

Implementing generators with continuation-passing style, streams, and defunctionalization

Loop once... (f)or else! (Or, Python pro-tip number 2)

Functional programmers hate this one trick

Refactoring Asynchronous Recursion with Continuation-Passing Style

Implementing environment-based evaluation of recursive functions in OCaml

SAT solving with higher-order continuations