Sunday, June 21, 2009

Corrections

›
I've edited the post before last ("an opinion on...") because the blogger editor did funny things to angle brackets (turning t...
Saturday, June 13, 2009

Papers online

›
I've put the papers I mentioned a few posts back online, they are all at ECOOP workshops. You can find them here .
Monday, June 08, 2009

An Opinion on Ownership Types (generics)

›
I've been thinking a bit about ownership and generics and I have formed an opinion that I wish to share. I imagine that some people will...
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...