Atkey's paper is on my todo list, but I haven't gotten around to reading it yet. I'm sure it's in a similar genre, even if not immediately relevant.

If you're interested in dimensional analysis problems, you might also be interested in Maryam Moghadas' MSc thesis on dimensional analysis of inverse problems for fMRI. Most of the bugs in fMRI code comes from dimension/type errors, so she was trying to rule those out by performing dimensional analysis in Haskell's type system. The key contribution was figuring out what those units/dimensions actually are (rather than doing the dimensional type-checking per se, which has been done before for standard physical units).