Software Modeling and Analysis 2020
304 - Foundations of Computer Science 2020
CS276 Information Retrieval and Web Search
Model Checking 2018
Compiler Construction 2020
CS410 Advanced Functional Programming 2017 University of Strathclyde
SICP: the end of an era (2021)
The implementation of Idris 2020
Building High Performance Fully Concurrent Garbage Colle
Algorithms Part 1
System Software 2020
How to Build a Virtual Machine
Program Verification via Three-Valued Logic Analysis
Algorithms Part 2
CS412 Introduction to Data Mining 2016
Fundamentals of Music Theory
CMU 15-213: Intro to Computer Systems fall 2015
The Internals of PostgreSQL
COMP9315 Postgres Implementation 2019
Systems Programming in C++ 2020