About Christina O'Donnell

Computer Science MSc student and Oxford graduate based in the UK. Interested in type theory and functional programming, with a passing curiosity in category theory. I am particularly interested in the symmetric graphical representations of expressions with bound variables.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet