Home

You've reached Abigail's blog, a place where I exposit and reflect on programming languages and type theory. Here's the posts I've written recently:

Posts

…or you can find more in the archives.