Allyn Dimock

According to our database, Allyn Dimock authored at least 7 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

A calculus with polymorphic and polyvariant flow types.

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak

J. Funct. Program., 2002

2001

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.

Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Program Representation Size in an Intermediate Language with Intersection and Union Types.

Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine

Proceedings of the Types in Compilation, Third International Workshop, 2000

1997

A Typed Intermediate Language for Flow-Directed Compilation.

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Strongly Typed Flow-Directed Representation Transformations.

Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1993

Safe and Decidable Type Checking in an Object-Oriented Language.

Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

1992

Principles of Transaction-Based On-Line Reorganization.

Betty Salzberg, Allyn Dimock

Proceedings of the 18th International Conference on Very Large Data Bases, 1992