Bootstrap yourself to write an OS from scratch. A book for self-learner.

A fresh implementation of Common Lisp

papers of Per Martin Löf

Research on integrating datalog & lambda calculus via monotonicity types

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

A little guide about how to be the Erlang medic in a time of war. It is first and foremost a collection of tips and tricks to help understand where failures come from, and a dictionary of different…

Mathematical Components (the Book)

CMU Undergrad Course

Slides & demos for talks I do

A Bel Lisp interpreter built with C, written as a book/literate program (archived)

Parsing the Common Lisp draft specification TeX sources

Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff

Common Lisp The Language Second Edition

Honoring the legacy of Freese, Lampe, and Nation