Publication
Syntax vs. Semantics on Finite Structures
Publication
Media Compression via Data Hiding
Publication
Relational Parametricity and Units of Measure
Publication
Measuring the Cost of Storage Management
Publication