Publication
Relational Parametricity and Units of Measure
Publication
Measuring the Cost of Storage Management
Publication
An Exploration of Modular Programs
Publication
Interactive authoring of multimedia documents
Publication