Andrew Farmer

My interests include programming language design in general and specifically the compilation and optimization of functional languages.

My PhD dissertation: HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler

Previous projects include:

• Retrie, an equational rewriting tool for Haskell source code.
• HERMIT, a GHC plugin for transforming Core Language programs.
• Debugging tools for the Kansas Lava project.
• Scotty, a small framework for specifying RESTful web services in Haskell.

Email: afarmer at rain dot ai

Personal webpage: https://andrewfarmer.name

Github: https://github.com/xich

LinkedIn: https://www.linkedin.com/in/andrew-farmer-483673199/