Like PLs for MOC? I’ve got a couple papers and preprints on my website, that mostly specialize to the case of homomorphic encryption (a particular style of MPC). For a broader class of MPC I think my favorite example is Viaduct (https://www.cs.cornell.edu/andru/papers/viaduct/viaduct.pdf) but there’s plenty of others!