A Functional Language with Classes. - Mike Beaven; Ryan Stansifer; Dan Wetklow (Great Lakes Computer Science Conference, 1989)

Type reconstruction algorithms for object-oriented languages - Dan Wetklow (1990)

Method Reuse in Typed Object-Oriented Languages. - Ryan Stansifer; Dan Wetklow (SAC, 1993)

Type reconstruction for coercion polymorphism. - Ryan Stansifer; Dan Wetklow (SAC, 1994)