A Brief Guide to CLOS (1998)

The Land of the Free and “The Elements of Style” (2010)

Propositions as Types (2014)

Scooping the Loop Snooper (2000)

Propositions as Types

Functional Programming in the Real World

Humans have evolved to be smarter and taller than their predecessors, a study of populations around the world suggests

History of logic and programming languages

A Brief Guide to the Common Lisp Object System

Introduction to JavaScript for Fortran Programmers