Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A free book: "The Science of Functional Programming"

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

A Portable Graphic Format for TeX

🌈 Tools for color research

Research on integrating datalog & lambda calculus via monotonicity types

The book of CPS-1

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programmi…

Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"

"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin

Higher-order, higher-order automatic differentiation

A talk

PushPin: Towards Production-Quality Peer-to-Peer Collaboration

Paper on generic parallel functional programming

Clerk Paper for the Programming Experience 23 Workshop

A simple wrapper around the jbibtex library, allowing to work with BibTeX bibliographies as data