Saturday, July 28, 2007

Papers

›
The papers mentioned below (Multiple Ownership and Towards an Existential Types Model for Java Wildcards) are now available from my website:...

F-bounds and wildcards

›
An odd one this, that doesn't fit into our current model of wildcards. First, to set the scene, remember that the Java type checker alwa...
Sunday, June 10, 2007

MOJO and \existsJ papers

›
I was suitably elated to have two papers accepted in the last month or so. The first, with Sophia Drossopoulou, James Noble and Matthew Smit...
Sunday, January 28, 2007

Functional vs OO languages

›
Passing judgement on this kind of thing is a bit out of my scope, but I was wound up enough by one of the invited talks at POPL to put my op...
Thursday, January 25, 2007

Arrays considered harmful

›
I've come to the conclusion that arrays are bad. They really have no place in a modern programming language and should go the way of the...
2 comments:
Wednesday, January 24, 2007

POPL and FOOL/WOOD '07

›
I was privileged to attend the POPL conference in Nice last week, followed by the FOOL/WOOD workshop on the saturday. I had a great time ...
Tuesday, November 07, 2006

Flattening and class tables

›
Brief intro: a class table is (often) used when modelling OO languages to store the details of a class. Sometimes (I can't think of a pa...
Monday, October 23, 2006

I need a name...

›
Virtual types/classes are very cool. I firmly believe that they are a "good thing" in the world of programming language design. Es...
4 comments:
Tuesday, October 17, 2006

Alex Buckley, King of the (Java) world!

›
Friend, former colleague and Imperial alumnus Alex Buckley is now King of the World , or at least, the Java spec. This is very impressive,...
72 comments:
Saturday, October 14, 2006

Expressible and Denotable types

›
Wildcards were added to Java in version 5 to make generics more useable (that is, more powerful and flexible). Whereas most people understan...