Principles of Transaction-Based On-Line Reorganization. - Betty Salzberg; Allyn Dimock (VLDB, 1992)

Safe and Decidable Type Checking in an Object-Oriented Language. - Kim B. Bruce; Jonathan Crabtree; Thomas P. Murtagh; Robert van Gent; Allyn Dimock; Robert Muller (OOPSLA, 1993)

Strongly Typed Flow-Directed Representation Transformations. - Allyn Dimock; Robert Muller; Franklyn A. Turbak; J. B. Wells (ICFP, 1997)

A Typed Intermediate Language for Flow-Directed Compilation. - J. B. Wells; Allyn Dimock; Robert Muller; Franklyn A. Turbak (TAPSOFT, 1997)

Program Representation Size in an Intermediate Language with Intersection and Union Types. - Allyn Dimock; Ian Westmacott; Robert Muller; Franklyn A. Turbak; J. B. Wells; Jeffrey Considine (Types in Compilation, 2000)

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. - Allyn Dimock; Ian Westmacott; Robert Muller; Franklyn A. Turbak; J. B. Wells (ICFP, 2001)

A calculus with polymorphic and polyvariant flow types. - J. B. Wells; Allyn Dimock; Robert Muller; Franklyn A. Turbak (J. Funct. Program., 2002)