The central topic of this project is to investigate the role of resources in computing from a programming language point of view. We are interested in both the economics of resource use and the security of resources.
