I'm not thinking of functional encryption. I thought I'd read somewhere a plan to use homomorphic encryption with an encrypted program by simply applying an interpreter to it.
https://blog.cryptographyengineering.com/2014/02/21/cryptogr... seems an interesting article.