Y yosefk.com Can Your Static Type System Handle Linear Algebra? (2014) 65 points kushti 11 years ago 65 comments