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.


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.