I am a Computer Science student with a long-standing interest in statically typed functional programming (primarily Haskell), type systems, compiler construction, programming languages research and related topics. This is my personal blog.