Search the dblp DataBase
Allyn Dimock: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Betty Salzberg, Allyn Dimock
Principles of Transaction-Based On-Line Reorganization. [Citation Graph (6, 14)][DBLP]
VLDB, 1992, pp:511-520 [Conf] - 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] - 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] - 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] - 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] - 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] - 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.015secs, Finished in 0.015secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002