Domain Theory for Nonmonotonic Functions. - Yuli Zhou; Robert Muller (ALP, 1990)

M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). - Robert Muller (PEPM, 1991)

Abstract Interpretation in Weak Powerdomains. - Robert Muller; Yuli Zhou (LISP and Functional Programming, 1992)

M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics. - Robert Muller (ACM Trans. Program. Lang. Syst., 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)

A Staging Calculus and its Application to the Verification of Translators. - Robert Muller (POPL, 1994)

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)

Inferring annotated types for inter-procedural register allocation with constructor flattening. - Torben Amtoft; Robert Muller (TLDI, 2003)

4D Functional Imaging in the Freely Moving Rat. - Matthew Holzer; Christoph H. Schmitz; Yaling Pei; Harry L. Graber; Rehman-Ansari Abdul; Jeremy Barry; Robert Muller; Randall L. Barbour (EMBC, 2006)