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

Robert Muller Vis

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

*2008
14EEDavid 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
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
8EEJ. 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
2EEYuli 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]
2Tanya Z. Berardini [14]
3Kim B. Bruce [6]
4Jeffrey Considine [10]
5Jonathan Crabtree [6]
6Allyn Dimock [6] [8] [9] [10] [11] [12]
7Hartmut Foerster [14]
8Margarita Garcia-Hernandez [14]
9Robert van Gent [6]
10Eva Huala [14]
11Philippe Lamesch [14]
12Donghui Li [14]
13Tom Meyer [14]
14Thomas P. Murtagh [6]
15Peter A. Pircher [1]
16Larry Ploetz [14]
17Amie Radenbaugh [14]
18Shanker Singh [14]
19David Swarbreck [14]
20Vanessa Swing [14]
21Christophe Tissier [14]
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 [14]
27Peifen Zhang [14]
28Yuli Zhou [2] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)