Tuesday, May 17, 2011

N

›
Well, it took longer than expected but N is now open source! You can download it from GitHub at the URL in the previous post. Just a warning...
Monday, May 02, 2011

The N PL semantics tool, and other stuff

›
What have I been up to? I am currently gainfully unemployed. I am climbing a lot and seeing more of NZ. I'm also still working on some a...
Thursday, February 24, 2011

IWACO '11 website

›
http://ecs.victoria.ac.nz/Events/IWACO2011/ Visit for the latest info on this year's IWACO, which should be a good one as we celebrate 2...

IWACO 2011: Call for Papers

›
Call For Papers International Workshop on Aliasing, Confinement and Ownership in object-oriented p...

Christchurch Earthquake

›
For anyone reading who I have not been in contact with - Ru and I are fine and our house has survived pretty much unscathed - we have been v...
Tuesday, December 21, 2010

Things I'll miss about Wellington

›
Over the Christmas holiday I'll be moving down to Christchurch and leaving Wellington. This is good because Christchurch (or more precis...
2 comments:

Links in JOT posts

›
I finally got round to doing the last post on OOPSLA for JOT, I can't believe how long that took! Pretty bad really, but it's been a...

JOT blog repost: OOPSLA day 3 (finally)

›
Final day of the conference (is this the latest blog post ever? Probably. Consider it an un-expected Christmas gift): Homogeneous Family Sha...
Wednesday, November 17, 2010

OOPSLA day 2 (belated) (JOT repost)

›
NOTE: I've come back to my notes about the last two days of OOPSLA; it's two weeks since the conference ended, and my memory is alre...
1 comment:
Saturday, November 06, 2010

Papers

›
I've just updated the research page on my website, I've added all my recent papers plus some accompanying proofs, and the slides fo...