Robert Muller

According to our database, Robert Muller authored at least 13 papers between 1990 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

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

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

2003

Inferring annotated types for inter-procedural register allocation with constructor flattening.

Torben Amtoft, Robert Muller

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

2002

A calculus with polymorphic and polyvariant flow types.

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak

J. Funct. Program., 2002

2001

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.

Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

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

Proceedings of the Types in Compilation, Third International Workshop, 2000

1997

A Typed Intermediate Language for Flow-Directed Compilation.

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Strongly Typed Flow-Directed Representation Transformations.

Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1994

A Staging Calculus and its Application to the Verification of Translators.

Robert Muller

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

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

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

1992

M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.

Robert Muller

ACM Trans. Program. Lang. Syst., 1992

Abstract Interpretation in Weak Powerdomains.

Robert Muller, Yuli Zhou

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).

Robert Muller

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Domain Theory for Nonmonotonic Functions.

Yuli Zhou, Robert Muller

Proceedings of the Algebraic and Logic Programming, 1990