Robert Muller

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