Cambridge, UK I am a Computer Science PhD candidate at the University of Cambridge.
Dhruv Makwana
NumLin: Linear Types for Linear Algebra
dc-mak