Sunday, May 31, 2009

Visit to LA

›
On the way back from ETAPS in the UK I stopped off in LA to visit Todd Millstein and some friends. Visiting UCLA was great fun and very in...
Friday, May 15, 2009

Some light relief

›
A brief, incomplete, and mostly wrong history of programming languages The funniest thing written about programming languages since James No...

PL-Group at VUW

›
I am in the process of resurrecting PL-Group meetings at VUW . This should be a regular meeting to discuss all kinds of programming languag...
Tuesday, May 12, 2009

ETAPS report (finally)

›
I've been putting this off for ages and I've finally lost motivation to write a new report. Instead I will reprint the report I prod...
Saturday, May 09, 2009

Papers, papers, ...

›
I have had a few papers accepted to ECOOP workshops recently, they will be up on my website (which I know needs updating) in a week or so, ...
Friday, May 01, 2009

Things I like in a programming language

›
I posted a while back about things I dislike in programming languages, and it was a fairly long list, so in order to appear balanced and not...
Wednesday, April 29, 2009

Climbing the Coq learning wall

›
So I am currently trying to learn Coq , this is a monstrous and Herculean task. It is one of those things where the learning curve is so ste...
Friday, April 10, 2009

Busy, busy

›
Sorry for no ETAPS report thus far. It will be coming soon. I have been very busy, jetting around, having very interesting discussions in Lo...
Friday, March 27, 2009

ETAPS 09

›
So, I've now moved to New Zealand, and in time there will be a post about all that, but right now I am back in the UK, in fact back in Y...
1 comment:
Sunday, January 25, 2009

ESOP paper

›
As I noted below (I think), my supervisor (Sophia) and I have had a paper accepted to ESOP 09 which is in march in York, England. The title ...