dblp.uni-trier.dewww.uni-trier.de

Robert Muller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
15EEDavid 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
14EETorben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
13EETorben 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
10EEAllyn 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
5EERobert Muller, Yuli Zhou: Abstract Interpretation in Weak Powerdomains. LISP and Functional Programming 1992: 119-126
4EERobert 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)

Coauthor Index

1Torben Amtoft (Torben Amtoft Hansen) [13] [14]
2Tanya Z. Berardini [15]
3Kim B. Bruce [6]
4Jeffrey Considine [10]
5Jonathan Crabtree [6]
6Allyn Dimock [6] [8] [9] [10] [11] [12]
7Hartmut Foerster [15]
8Margarita Garcia-Hernandez [15]
9Robert van Gent [6]
10Eva Huala [15]
11Philippe Lamesch [15]
12Donghui Li [15]
13Tom Meyer [15]
14Thomas P. Murtagh [6]
15Peter A. Pircher [1]
16Larry Ploetz [15]
17Amie Radenbaugh [15]
18Shanker Singh [15]
19David Swarbreck [15]
20Vanessa Swing [15]
21Christophe Tissier [15]
22Franklyn A. Turbak [8] [9] [10] [11] [12]
23Anthony I. Wasserman [1]
24J. B. Wells [8] [9] [10] [11] [12]
25Ian Westmacott [10] [11]
26Christopher Wilks [15]
27Peifen Zhang [15]
28Yuli Zhou [2] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)