July 10th, 2005

beartato phd

(no subject)

I got an email back from David Wright, formerly at the University of Tasmania, author of a paper Frank pointed me to that I couldn't find in the library or online. Dr. Wright kindly sent me a PDF of it.

The paper seems pretty nice on a first read. It's about a system that tracks resource usage that generalises strict, linear, affine, etc. This exactly the sort of system Frank has been nudging me to work out in the dependently-typed case. I found something in Wright's paper that seems to my expectations to be a bug, but I'm much more inclined to suspect the problem is with my expectations and interpretation of his notation than with his system. It'll be a good paper to cite definitely in any event.