The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Allyn Dimock: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Betty Salzberg, Allyn Dimock
    Principles of Transaction-Based On-Line Reorganization. [Citation Graph (6, 14)][DBLP]
    VLDB, 1992, pp:511-520 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]

Search in 0.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002