@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}
 }

{"_id":"gGpjohsdrpMbG8hiR","bibbaseid":"gesbert-genevs-layada-parametricpolymorphismandsemanticsubtypingthelogicalconnection-2011","downloads":0,"creationDate":"2016-08-31T09:41:15.109Z","title":"Parametric Polymorphism and Semantic Subtyping: the Logical Connection","author_short":["Gesbert, N.","Genevès, P.","Layaïda, N."],"year":2011,"bibtype":"inproceedings","biburl":"http://pierresoft.com/pierre.geneves/bibs/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nils"],"propositions":[],"lastnames":["Gesbert"],"suffixes":[]},{"firstnames":["Pierre"],"propositions":[],"lastnames":["Genevès"],"suffixes":[]},{"firstnames":["Nabil"],"propositions":[],"lastnames":["Layaïda"],"suffixes":[]}],"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","bibtex":"@inproceedings{geneves-icfp11,\n author = {Nils Gesbert and Pierre Genev\\`{e}s and Nabil Laya\\\"{\\i}da},\n title = {Parametric Polymorphism and Semantic Subtyping: the Logical Connection},\n booktitle = {ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming},\n year = {2011},\n pages = {107-116},\n ee = {http://doi.acm.org/10.1145/2034773.2034789},\n isbn = {978-1-4503-0865-6}\n }\n","author_short":["Gesbert, N.","Genevès, P.","Layaïda, N."],"key":"geneves-icfp11","id":"geneves-icfp11","bibbaseid":"gesbert-genevs-layada-parametricpolymorphismandsemanticsubtypingthelogicalconnection-2011","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2034773.2034789"},"downloads":0},"search_terms":["parametric","polymorphism","semantic","subtyping","logical","connection","gesbert","genevès","layaïda"],"keywords":[],"authorIDs":[],"dataSources":["onq3LEDJRGBWYt5of"]}