The Baby Paradox in Haskell

A Fast Bytecode VM for Arithmetic: The Compiler

A Proper X86 Assembler in Haskell Using the Escardó-Oliva Functional

1 Problem, 16 Programming Languages (2021)

A Bytecode VM for Arithmetic: The Parser

Type-level programming for safer resource management

Reflections on Haskell and Rust

Monads as Graphs (2019)

Inlining in the Glasgow Haskell Compiler: Empirical Investigation and Improvement

Haskell, Reverse Polish Notation, and Parsing