Edwin Brady
16
Seguidores
Personal Information
Organização/Local de trabalho
St Andrews
Cargo
Lecturer
Sobre
I'm a research fellow in Computer Science at St Andrews.
Marcadores
functional programming
dependent types
compilers
Ver mais