@inproceedings{ leroy94syntactic,
    author = "Xavier Leroy",
    title = "A Syntactic Theory of Type Generativity and Sharing",
    booktitle = "{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), {P}ortland, {O}regon",
    year = "1994",
    url = "citeseer.nj.nec.com/leroy96syntactic.html" }