• Donna Malayeri and Jonathan Aldrich. CZ: Multiple Inheritance Without Diamonds. In Proceedings of OOPSLA '09, October 2009. (to appear)
    [pdf]    [soundness proof]   

  • Donna Malayeri and Jonathan Aldrich. Is Structural Subtyping Useful? An Empirical Study. In Proceedings of ESOP '09, York, UK, March 2009.
    [abstract]    [pdf]   

  • Donna Malayeri. CZ: Multiple Inheritance Without Diamonds. In FOOL '09, Savannah, Georgia, USA, January 2009. (Preliminary version of OOPSLA '09 paper.)
    [abstract]    [pdf]    [slides]   

    A technical report containing a proof of type soundness is also available:

    Donna Malayeri and Jonathan Aldrich. CZ: Multiple Inheritance Without Diamonds. Technical Report CMU-CS-08-169, School of Computer Science, Carnegie Mellon University, December 2008. [pdf]  

  • Donna Malayeri and Jonathan Aldrich. Integrating nominal and structural subtyping. In Proceedings of ECOOP '08, Paphos, Cyprus, July 2008.
    [abstract]    [pdf]   [bib]    [Springer 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 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]   [Springer version]   [slides]