I'm interested in programming language theory, particulary in functional languages, monads, and arrows. My focus recently has been on functional reactive programming: I've designed a system of Resource types for safety and clarity, and I'm also working on parallelism techniques.
Over the summer of 2011, I interned at Microsoft Research in Cambridge, UK with Simon Marlow. I initially worked on adding data and type declarations to GHCi (see the git commit), and then I worked on new features for the Par monad. The Par monad work is ongoing, and we hope to eventually publish our results.
Virtualizing Real-World Objects in FRP Yale Technical Report
A rigorous mathematical proof of Wallis’ Formula using infinite series and Stirling’s Formula.