Robert Muller

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
4D Functional Imaging in the Freely Moving Rat.
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.
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. Funct. Program., 2002

2001
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.
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.
Proceedings of the Types in Compilation, Third International Workshop, 2000

1997
A Typed Intermediate Language for Flow-Directed Compilation.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Strongly Typed Flow-Directed Representation Transformations.
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.
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.
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

1992
M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.
ACM Trans. Program. Lang. Syst., 1992

Abstract Interpretation in Weak Powerdomains.
Proceedings of the Conference on Lisp and Functional Programming, 1992

1991
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
Domain Theory for Nonmonotonic Functions.
Proceedings of the Algebraic and Logic Programming, 1990


  Loading...