Allyn Dimock

Publication Activity (10 Years)

Years Active: 1992-2002
Publications (10 Years): 0

Publications

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
A calculus with polymorphic and polyvariant flow types. J. Funct. Program. 12 (3) (2002)
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)
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. Types in Compilation (2000)
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
A Typed Intermediate Language for Flow-Directed Compilation. TAPSOFT (1997)
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
Strongly Typed Flow-Directed Representation Transformations. ICFP (1997)
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)
Betty Salzberg, Allyn Dimock
Principles of Transaction-Based On-Line Reorganization. VLDB (1992)