Going to OPLSS 2016!
Published . Tags: computer-science, formal-methods, personal, oplss.
I’ve been accepted to the Oregon Programming Languages Summer School! I’ll be spending the second half of June studying PLT in Eugene, OR. I’m hugely looking forward to it.
As such, expect to see a little more Haskell, type theory, and math on the blog as I frantically prepare to get the most out of it.
Unrelatedly, it just might be spring in Boston: