@inproceedings{geneves-icfp11,
 author = {Nils Gesbert and Pierre Genev\`{e}s and Nabil Laya\"{\i}da},
 title = {Parametric Polymorphism and Semantic Subtyping: the Logical Connection},
 booktitle = {ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming},
 year      = {2011},
 pages     = {107-116},
 ee        = {http://doi.acm.org/10.1145/2034773.2034789},
  isbn      = {978-1-4503-0865-6}
 }