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

A textbook on informal homotopy type theory

Analysis of single cell RNA-seq data course

Research on integrating datalog & lambda calculus via monotonicity types

The simple essence of automatic differentiation

Staged compilation with dependent types

The Definition of Standard ML (1990)

Talk material for LambdaJam 2014/2015 on denotational design

LaTeX code for a paper on lean's type theory

A Smarter QuickCheck

Denotational Design: from programs to meanings

Public snapshots of "ACSL by Example"

CMU Undergrad Course

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

Abstracting Definitional Interpreters

Modeling agents with probabilistic programs

Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

Higher-order, higher-order automatic differentiation

Scheme syntax highlighting for the LaTeX listings package.

Various LaTeX files that may be useful

From Greek to Clojure, Clojure/conj 2013

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell

This repository contains source code for my senior thesis, titled "Automated Kantian Ethics" and advised by Professor Nada Amin and Dr. William Cochran.

Repository for documents and experiments to do with algebraically-indexed types

Write-up of my part II project: Brain tumour segmentation using convolutional neural networks

Repository for kanren semantics work