The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Robert Muller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (2, 0)][DBLP]
    OOPSLA, 1993, pp:29-46 [Conf]
  2. Anthony I. Wasserman, Peter A. Pircher, Robert Muller
    The Object-Oriented Structured Design Notation for Software Design Representation. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 1990, v:23, n:3, pp:50-63 [Journal]
  3. Yuli Zhou, Robert Muller
    Domain Theory for Nonmonotonic Functions. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:144-157 [Conf]
  4. Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
    Strongly Typed Flow-Directed Representation Transformations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:11-24 [Conf]
  5. Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
    Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:14-25 [Conf]
  6. Robert Muller, Yuli Zhou
    Abstract Interpretation in Weak Powerdomains. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:119-126 [Conf]
  7. Robert Muller
    M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:234-242 [Conf]
  8. Robert Muller
    A Staging Calculus and its Application to the Verification of Translators. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:389-396 [Conf]
  9. J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
    A Typed Intermediate Language for Flow-Directed Compilation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:757-771 [Conf]
  10. Torben Amtoft, Robert Muller
    Inferring annotated types for inter-procedural register allocation with constructor flattening. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:86-97 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:27-52 [Conf]
  12. Torben Amtoft, Robert Muller
    Inferring annotated types for inter-procedural register allocation with constructor flattening. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:86-97 [Conf]
  13. J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
    A calculus with polymorphic and polyvariant flow types. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:3, pp:183-227 [Journal]
  14. Robert Muller
    M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:4, pp:589-615 [Journal]

Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002