@ARTICLE{BruEtAl96,
        AUTHOR = {K. Bruce and L. Cardelli and G. Castagna and
                  The~Hopkins~Object~Group and G. Leavens and B. Pierce},
        TITLE = {On Binary Methods},
        JOURNAL = {Theory and Practice of Object Systems},
        YEAR = {1996},
        VOLUME = {1},
        NUMBER = {3},
        PAGES = {},
        MONTH = {},
        NOTE = {To appear},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/binary.ps.Z},
        ABSTRACT = {http://www.dmi.ens.fr/~castagna/abstr.html#bin},
}




@INPROCEEDINGS{BC96,
        AUTHOR = {John Boyland and Giuseppe Castagna},
        TITLE = {Type-safe compiling of covariant specialization: a practical case},
        BOOKTITLE = {ECOOP'96},
        YEAR = {1996},
        EDITOR = {},
        PAGES = {},
        ORGANIZATION = {},
        PUBLISHER = {Springer Verlag},
        SERIES = LNCS,
        NUMBER = {},
        VOLUME = {},
        MONTH = ,
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/o2.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#o2bis}
}

@BOOK{Casbook,
        AUTHOR = {Giuseppe Castagna},
        TITLE = {Object-Oriented Programming: A Unified Foundation},
        PUBLISHER = {Birk\"auser},
        YEAR = {1996},
        SERIES = {Progress in Theoretical Computer Science},
        ADDRESS = {Boston},
        NOTE = To appear
}

@TECHREPORT{BruEtAl95,
        AUTHOR = {K. Bruce and L. Cardelli and G. Castagna and
                  The~Hopkins~Object~Group and G. Leavens and B. Pierce},
        TITLE = {On Binary Methods},
        TYPE = {Rapport de Recherche},
        NUMBER = {liens-95-14},
        MONTH = may,
        INSTITUTION = {LIENS},
        YEAR = {1995}
}


@TECHREPORT{Cas95o2,
        AUTHOR = {G. Castagna},
        TITLE = {A proposal for making {O}$_2$ more type safe},
        INSTITUTION = {LIENS},
        YEAR = {1995},
        TYPE = {Rapport de Recherche},
        NUMBER = {liens-95-4},
        MONTH = mar,
        NOTE = {Old version. New version in~\cite{CB96}}
}


@ARTICLE{CGL95,
        KEY = "CGL92",
        AUTHOR = {G. Castagna and G. Ghelli and G. Longo},
        TITLE = {A calculus for overloaded functions with subtyping},
        YEAR = {1995},
        JOURNAL = {Information and Computation},
        VOLUME = {117},
        PUBLISHER ={Academic Press},
        NUMBER = {1},
        PAGES = {115-135},
        MONTH = feb,
        NOTE = {A preliminary version was presented at the {\em 1992
                ACM Conference on LISP and Functional Programming (San
                Francisco, July)},
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/infocompu.ps.Z},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/infocompu.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#amp}
}


@ARTICLE{Cas95,
        AUTHOR = {G. Castagna},
        TITLE = {Covariance and contravariance: conflict without a cause},
        JOURNAL = {ACM Transactions on Programming Languages and Systems} ,
        YEAR = {1995},
        VOLUME = {17},
        NUMBER = {3},
        PAGES = {431-447},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/covariance.ps.Z},
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/covariance.dvi.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#cov}
}

@ARTICLE{Cas95a,
        AUTHOR = {G. Castagna},
        TITLE = {A meta-language for typed object-oriented languages},
        JOURNAL = {Theoretical Computer Science},
        YEAR = {1995},
        DMI-CATEGORY = {jour},
        VOLUME = {151},
        NUMBER = {2},
        PAGES = {297-352},
        MONTH = nov,
        NOTE = {Extended abstract in the Proceedings of the {\it 13th
                Conference on the Foundations of Software Technology and
                Theoretical Computer Science\/}; Lecture Notes in Computer
                Science, number 761, December 1993.}
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/tcs95.ps.Z},
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/tcs95.dvi.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#tcs}
}


@INPROCEEDINGS{CP94,
        AUTHOR = {G. Castagna and B.C. Pierce},
        TITLE = {Decidable Bounded Quantification},
        BOOKTITLE = {21st Annual Symposium on Principles Of Programming Languages},
        YEAR = {1994},
        PAGES = {151-162},
        PUBLISHER = {ACM Press},
        ADDRESS = {Portland, Oregon},
        MONTH = jan,
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/popl94.dvi.Z},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/popl94.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#popl94}
}

@INPROCEEDINGS{CP95,
        AUTHOR = {G. Castagna and B.C. Pierce},
        TITLE = {Corrigendum: Decidable Bounded Quantification},
        BOOKTITLE = {22nd Annual Symposium on Principles Of Programming Languages},
        YEAR = {1995},
        PAGES = {408},
        PUBLISHER = {ACM Press},
        ADDRESS = {San Francisco},
        MONTH = jan,
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/popl94errata.dvi.Z},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/popl94errata.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#popl94errata}
}



@INPROCEEDINGS{Cas93,
        AUTHOR = {G. Castagna},
        TITLE = {A meta-language for typed object-oriented languages},
        BOOKTITLE = {13th Conference on the Foundations of Software Technology
                     and Theoretical Computer Science},
        YEAR = {1993},
        EDITOR = {R.K. Shyamasundar},
        PAGES = {52-71},
        PUBLISHER = {Springer-Verlag},
        ADDRESS = {Bombay, India},
        SERIES = {LNCS},
        NUMBER = {761},
        MONTH = dec,
        NOTE = {Extended abstract of~\cite{CGL95a}},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/fsttcs93.ps.Z},
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/fsttcs93.dvi.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#tcs}
}


@INPROCEEDINGS{Cas93b,
        AUTHOR = {G. Castagna},
        TITLE = {${F}_{\leq}^{\&}$ : integrating parametric and "ad hoc" second
                 order polymorphism},
        BOOKTITLE = {Proc.\ of the 4th International Workshop on Database
                     Programming Languages},
        YEAR = {1993},
        EDITOR = {C. Beeri and A. Ohori and D. Shasha},
        PAGES = {338-358},
        PUBLISHER = {Springer-Verlag},
        ADDRESS = {New York City},
        SERIES = {Workshops in Computing},
        MONTH = Sep,       
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/dbpl93.ps.Z},
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/dbpl93.dvi.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#second}
}



@ARTICLE{Cas96,
        AUTHOR = {G. Castagna},
        TITLE = {Integration of parametric and "ad hoc" second
                 order polymorphism in a calculus with subtyping},
        JOURNAL = {Formal Aspects of Computing:
                International Journal of Formal Methods},
        YEAR = {1995},
        PUBLISHER = {Springer Verlag},
        VOLUME = {},
        NUMBER = {},
        PAGES = {},
        NOTE = {To appear. Part of this work  appeared in the Proc.\ of
                the 4th International Workshop on Database Programming
                Languages, Workshops in Computing series, Springer Verlag, 1993},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/secondord.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#facs}
}


@INPROCEEDINGS{CGL93,
        AUTHOR = {G. Castagna and G. Ghelli and G. Longo},
        TITLE = {A semantics for $\lambda$\&-{\em early}: a calculus with overloading
                 and early binding},
        BOOKTITLE = {International Conference on Typed Lambda Calculi and Applications},
        YEAR = {1993},
        EDITOR = {M. Bezem and J.F. Groote},
        PUBLISHER = {Springer-Verlag},
        SERIES = {Lecture Notes in Computer Science},
        NUMBER = {664},
        PAGES = {107-123},
        ADDRESS = {Utrecht, The Netherlands},
        MONTH = Mar,
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/tlca93.ps.Z},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/tlca93.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#sem}
}



@CONFERENCE{CGL92,
        AUTHOR = {G. Castagna and G. Ghelli and G. Longo},
        TITLE = {A calculus for overloaded functions with subtyping},
        BOOKTITLE = {ACM Conference on LISP and Functional Programming},
        YEAR = {1992},
        PAGES = {182-192},
        PUBLISHER = {ACM Press},
        ADDRESS = {San Francisco},
        MONTH = jul,
        NOTE = {Preliminary version of~\cite{CGL95}},
        DVI = {ftp://ftp.ens.fr/pub/dmi/users/castagna/lfp92.ps.Z},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/lfp92.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#amp}
}


@INPROCEEDINGS{AC96,
        AUTHOR = {M.-V. Aponte and G. Castagna},
        TITLE = {Programmation modulaire avec surcharge et liaison tardive},
        BOOKTITLE = {Journ\'ees Francophones des Langages Applicatifs},
        YEAR = {1996},
        DMI-CATEGORY = {intc},
        ADDRESS = {Val Morin, Qu\'ebec, Canada},
        NOTE = {In French},
        PS = {ftp://ftp.ens.fr/pub/dmi/users/castagna/jfla96.ps.Z},
        ABSTRACT-URL = {http://www.dmi.ens.fr/~castagna/abstr.html#jfla}

}