Lambda the Ultimate

I'm currently studying Maths and Computer Science at the university of Oxford, about to go into my fourth year.

Programing language theory, denotational semantics etc...
I'm in the process of designing a small, uniquely typed language for my masters thesis.