I wouldn't have thought Glasgow even had a university much less one that produced a really nice implementation of a modern functional programming language.