Programming Examples Needing Polymorphic Recursion. - J. J. Hallett; Assaf J. Kfoury (ITRS, 2004)

Formal semantics of weak references. - Kevin Donnelly; J. J. Hallett; Assaf J. Kfoury (ISMM, 2006)

Modular multiple dispatch with multiple inheritance. - Eric E. Allen; J. J. Hallett; Victor Luchangco; Sukyoung Ryu; Guy L. Steele Jr. (SAC, 2007)

Integrating coercion with subtyping and multiple dispatch. - J. J. Hallett; Victor Luchangco; Sukyoung Ryu; Guy L. Steele Jr. (Sci. Comput. Program., 2010)