A textbook on informal homotopy type theory

A book about compiling Racket and Python to x86-64 assembly

papers of Per Martin Löf

Research on integrating datalog & lambda calculus via monotonicity types

Mathematical Components (the Book)

History of Programming Languages, Spring 2017

Ye Olde Computer Science Scrolls!

Formalizations of Gradually Typed Languages in Agda

Thesis

being the beginnings of at least zero typecheckers