2024

2022

2021

2013

An Introduction to Compiler Verification

Jan 28

What does it mean to verify a compiler correct? Why is compiler verification important? Here I will provide an introduction to the area of compiler verification.

2012

Monads: How do they work?

Mar 05

One more blog post on Monads joins the millions already present on the Internet. These are my notes on Monads as I prepare to give an intro lecture on them.