Re:In the UK, try Cambridge, York, Warwick... (Score 1)

>

In the UK, my rule of thumb is: if they teach a functional language then they are decent. Edinburgh is where Standard ML was written (and Phil Wadler is in the faculty)

Wadler and others wrote the generics extension to Java, and much more. I'd most probably pick Edinburgh - with emphasis on most probably. 1. Cambridge or Edinburgh 2. Imperial 3. Oxford