•   Donna Malayeri and Jonathan Aldrich. Integrating nominal and structural subtyping. In Proceedings of ECOOP '08, Paphos, Cyprus, July 2008.
    [abstract]    [pdf]   [bib]    [published version]   
    [full slides] [printable slides]

    This supersedes the paper presented at FOOL/WOOD '07:

Donna Malayeri and Jonathan Aldrich. Combining structural subtyping and external dispatch. In 2007 International Workshop on Foundations and Development of Object-Oriented Languages (FOOL/WOOD'07), Nice, France, January 2007.
[abstract]    [pdf]    [bib]    [slides]

  •   An expanded version of the ECOOP '08 paper is available as a technical report:

    Donna Malayeri and Jonathan Aldrich. Integrating Nominal and Structural Subtyping. Technical Report CMU-CS-08-120, School of Computer Science, Carnegie Mellon University, May 2008.
    [pdf]   [bib]

  • Donna Malayeri and Jonathan Aldrich. Practical exception specifications. In Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, and Anand Tripathi, editors, Advanced Topics in Exception Handling Techniques, volume 4119 of Lecture Notes in Computer Science, pages 200–220. Springer, 2006.
    [abstract]   [pdf]   [bib]   [published version]   [slides]