3 ms·The Implicit Calculus: A New Foundation for Generic Programming [pdf]12 points by virtualwhys 12y ago