The Implicit Calculus: A New Foundation for Generic Programming [pdf]homepages.inf.ed.ac.uk·12 pts·virtualwhys·0