Robert Muller

Publication Activity (10 Years)

Years Active: 1990-2006
Publications (10 Years): 0

Publications

Matthew Holzer, Christoph Schmitz, Yaling Pei, Harry L. Graber, Rehman-Ansari Abdul, Jeremy Barry, Robert Muller, Randall L. Barbour
4D Functional Imaging in the Freely Moving Rat. EMBC (2006)
Torben Amtoft, Robert Muller
Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI (2003)
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
A calculus with polymorphic and polyvariant flow types. J. Funct. Program. 12 (3) (2002)
Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. ICFP (2001)
Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine
Program Representation Size in an Intermediate Language with Intersection and Union Types. Types in Compilation (2000)
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
A Typed Intermediate Language for Flow-Directed Compilation. TAPSOFT (1997)
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
Strongly Typed Flow-Directed Representation Transformations. ICFP (1997)
Robert Muller
A Staging Calculus and its Application to the Verification of Translators. POPL (1994)
Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller
Safe and Decidable Type Checking in an Object-Oriented Language. OOPSLA (1993)
Robert Muller
M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics. ACM Trans. Program. Lang. Syst. 14 (4) (1992)
Robert Muller, Yuli Zhou
Abstract Interpretation in Weak Powerdomains. LISP and Functional Programming (1992)
Robert Muller
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). PEPM (1991)
Yuli Zhou, Robert Muller
Domain Theory for Nonmonotonic Functions. ALP (1990)