ATS might be close to what you want, but its more ML than C. If you use any language with linear types I would be very curious of anecdotes you may have to share, more so if you have used them in anger.

There is linearML but sadly the development slowed down once pikatchu got hired by facebook.