2008 |
15 | EE | David Swarbreck,
Christopher Wilks,
Philippe Lamesch,
Tanya Z. Berardini,
Margarita Garcia-Hernandez,
Hartmut Foerster,
Donghui Li,
Tom Meyer,
Robert Muller,
Larry Ploetz,
Amie Radenbaugh,
Shanker Singh,
Vanessa Swing,
Christophe Tissier,
Peifen Zhang,
Eva Huala:
The Arabidopsis Information Resource (TAIR): gene structure and function annotation.
Nucleic Acids Research 36(Database-Issue): 1009-1014 (2008) |
2003 |
14 | EE | Torben Amtoft,
Robert Muller:
Inferring annotated types for inter-procedural register allocation with constructor flattening.
TLDI 2003: 86-97 |
13 | EE | Torben Amtoft,
Robert Muller:
Inferring annotated types for inter-procedural register allocation with constructor flattening.
TLDI 2003: 86-97 |
2002 |
12 | | J. B. Wells,
Allyn Dimock,
Robert Muller,
Franklyn A. Turbak:
A calculus with polymorphic and polyvariant flow types.
J. Funct. Program. 12(3): 183-227 (2002) |
2001 |
11 | | 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: 14-25 |
2000 |
10 | EE | 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: 27-52 |
1997 |
9 | | Allyn Dimock,
Robert Muller,
Franklyn A. Turbak,
J. B. Wells:
Strongly Typed Flow-Directed Representation Transformations.
ICFP 1997: 11-24 |
8 | | J. B. Wells,
Allyn Dimock,
Robert Muller,
Franklyn A. Turbak:
A Typed Intermediate Language for Flow-Directed Compilation.
TAPSOFT 1997: 757-771 |
1994 |
7 | | Robert Muller:
A Staging Calculus and its Application to the Verification of Translators.
POPL 1994: 389-396 |
1993 |
6 | | 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: 29-46 |
1992 |
5 | EE | Robert Muller,
Yuli Zhou:
Abstract Interpretation in Weak Powerdomains.
LISP and Functional Programming 1992: 119-126 |
4 | EE | Robert Muller:
M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.
ACM Trans. Program. Lang. Syst. 14(4): 589-615 (1992) |
1991 |
3 | | Robert Muller:
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).
PEPM 1991: 234-242 |
1990 |
2 | | Yuli Zhou,
Robert Muller:
Domain Theory for Nonmonotonic Functions.
ALP 1990: 144-157 |
1 | | Anthony I. Wasserman,
Peter A. Pircher,
Robert Muller:
The Object-Oriented Structured Design Notation for Software Design Representation.
IEEE Computer 23(3): 50-63 (1990) |