Book of Elementary Functional Algorithms and Data structures

Formalizations of Gödel's Ontological Proof of God's Existence

An Introduction to CBC Casper Consensus Protocols

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

Paper and talk

Higher-order, higher-order automatic differentiation

A talk

DeepAlgebra

Selective Functors & Probabilistic Programming

My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation