Harry R. Schwartz

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

bearded cartoon drawing of the author · 1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B

ovo-lacto vegetarian




Going to OPLSS 2016!

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:

Spring in Boston

You might like these related articles: