[wish5031]

If this interests you, a related concept with similar applications as HE is functional encryption: https://en.m.wikipedia.org/wiki/Functional_encryption

[rudolph9]

Here is a descent looking Haskell library that implements functional encryption concepts https://github.com/cpeikert/Lol