Harry R. Schwartz

Software engineer, nominal scientist, gentleman of the internet. Member, ←Hotline Webring→.

1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B

Going to OPLSS 2016!

Published 13 Mar 2016. 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:

Spring in Boston