The Implicit Calculus: A New Foundation for Generic Programming [pdf]homepages.inf.ed.ac.uk12 points·virtualwhys··0 commentsOpen articleSaveView on HN