@inproceedings{OlScChLeYi2012,
   author = {Bruno C. d. S. Oliveira and Tom Schrijvers and Wontae Choi and Wonchan Lee and Kwangkeun Yi},
   title = {The Implicit Calculus: A New Foundation for Generic Programming},
   booktitle = {PLDI 2012: 33rd ACM Conference on Programming Language Design and Implementation},
   publisher = {Springer},
   year = {2012},
   category = {program-logics},
   format = {pdf},
}