| 2002 |
|---|
| 7 | | J. B. Wells,
Allyn Dimock,
Robert Muller,
Franklyn A. Turbak:
A calculus with polymorphic and polyvariant flow types.
J. Funct. Program. 12(3): 183-227 (2002) |
| 2001 |
|---|
| 6 | | 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: 14-25 |
| 2000 |
|---|
| 5 | EE | 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: 27-52 |
| 1997 |
|---|
| 4 | | Allyn Dimock,
Robert Muller,
Franklyn A. Turbak,
J. B. Wells:
Strongly Typed Flow-Directed Representation Transformations.
ICFP 1997: 11-24 |
| 3 | | J. B. Wells,
Allyn Dimock,
Robert Muller,
Franklyn A. Turbak:
A Typed Intermediate Language for Flow-Directed Compilation.
TAPSOFT 1997: 757-771 |
| 1993 |
|---|
| 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.
OOPSLA 1993: 29-46 |
| 1992 |
|---|
| 1 | EE | Betty Salzberg,
Allyn Dimock:
Principles of Transaction-Based On-Line Reorganization.
VLDB 1992: 511-520 |
