1. 11
    The Implicit Calculus: A New Foundation for Generic Programming programming wadler.blogspot.ca
    bitemyapp avatar via bitemyapp 3 years ago | cached | 1 comment

  1.  

  2. 1
    arrdem avatar arrdem 3 years ago | link

    Actual paper link: http://homepages.inf.ed.ac.uk/wadler/papers/implicits/implicits.pdf