Skip to content

Allyn Dimock

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

3

Active years

1992–2001

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2001ICFPFunctioning without Closure: Type-Safe Customized Function Representations for Standard ML.Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
1997ICFPStrongly Typed Flow-Directed Representation Transformations.Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
1993OOPSLASafe and Decidable Type Checking in an Object-Oriented Language.Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller
1992VLDBPrinciples of Transaction-Based On-Line Reorganization.Betty Salzberg, Allyn Dimock