+@inproceedings{barthe95implicit,
+ author = "Gilles Barthe",
+ title = "Implicit Coercions in Type Systems",
+ booktitle = "Types for Proofs and Programs: International Workshop, {TYPES 1995}",
+ pages = "1-15",
+ year = "1995",
+ url = "citeseer.ist.psu.edu/barthe95implicit.html" }
+