There would at least need to be some kind of interface of gc and non-gc methods. I would welcome any academic papers on this idea.