Both the paper I presented, and the paper discussing dimension typing, are at http://www.ccs.neu.edu/home/samth/tmp/ -- sam th samth at ccs.neu.edu