Our previous work on type systems for resource bounds has provided a platform on which we can build. This work requires both theoretical and engineering extensions to fit it for the challenges of Grid computing.
