Recent blog posts:
no-reply@… Posted late Tuesday evening, May 14th, 2013
Types as control flow constructs Posted Thursday night, March 14th, 2013
Old batteries are old Posted late Thursday evening, February 21st, 2013
This web site/blog is powered by ikiwiki.