@inproceedings{OlScChLeYi12,
  author = "Bruno Oliveira and Tom Schrijvers and Wontae Choi and Wonchan Lee and Kwangkeun Yi",
  title = "The Implicit Calculus: A New Foundation for Generic Programming",
  booktitle = "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation({\bf PLDI})",
  pages = "35--44",
  year = "2012"
}