I hope this means folks aside from me are trying to bring linear logic into new programming models for resource modelling computations.