An Introduction to Compiler Verification

January 28, 2013

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.

Monads: How do they work?

March 5, 2012

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.