@conference{OlScChLeYi-PLDI-2012,
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 = {The 33rd ACM Conference on Programming Language Design and Implementation (PLDI'12)},
year = {2012}
}