deep embedding

Noun

 * 1)  The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.
 * 2)  A specific such representation.