hirrolot
Solving SAT via Positive Supercompilation
Fueled Evaluation for Decidable Type Checking
Compiler Development: Rust or OCaml?
How to Keep Lambda Calculus Simple
How to Implement Dependent Types in 80 Lines of Code
Barebones Lambda Cube in OCaml
Rust Is Hard, Or: The Misery of Mainstream Programming
Pretty-Printable Enumerations in Pure C
Why Static Languages Suffer From Complexity
Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming
Extend Your Language, Don't Alter It
Compiling Algebraic Data Types in Pure C99
Expression-Oriented Programming in C: The FMT Macro
Compile-Time Introspection of Sum Types in Pure C99
Unleashing Sum Types in Pure C99
Calculus of Constructions in 60 Lines of Ocaml