Allyn Dimock
|
Allyn Dimock
Computer Science Department
University of Massachusetts at Lowell
One University Ave.
Lowell, MA 01854 U.S.A.
|
|
Go to Papers, Code,
Courses, Office Hours.
|
Published papers:
- A Calculus with Polymorphic and Polyvariant Flow Types
(supercedes Compiling with Polymorphic and Polyvariant Flow Types)
ps.gz
- Functioning Without Closure: Type-Safe Function Representations
for Standard ML
ps.gz
- Program Representation Size in an Intermediate Language with Intersection and Union Types
ps.gz
- Strongly Typed Flow-Directed Representation Transformations
ps.gz
- Compiling with Polymorphic and Polyvariant Flow Types
pdf
- A Typed Intermediate Language for Flow-Directed Compilation
ps.gz
pdf
- Safe and Decidable Type Checking in an Object Oriented Language
ps.Z
- Principles of Transaction-Based Online Reorganization
ps.Z
Doctoral dissertation: Type- and Flow-Directed Compilation for
Specialized Data Representations
ps.gz
Tutorial notes (rough drafts only):
-
Some freely available code for obscure purposes.
Fall 2005:
Regular hours not decided yet:
By appointment
in Olsen 215.
Paul Erdos -> Daniel J. Kleitman -> Albert R. Meyer -> Kim Bruce ->
Allyn Dimock